Vincent Petry 412b5c5407 Store the shared propagator instance ... This instead of recreating it for every call.		2016-08-10 10:57:49 +02:00
..
Scanner.php	Store the shared propagator instance	2016-08-10 10:57:49 +02:00