Vincent Petry 5edd5100fe Store the shared propagator instance ... This instead of recreating it for every call.		2016-08-10 10:59:56 +02:00
..
Scanner.php	Store the shared propagator instance	2016-08-10 10:59:56 +02:00