Completed
Push — develop ( 09bcdb...7727cb )
by Nicolas
26:23 queued 09:59
created
src/Pool.php 1 patch
Spacing   +1 added lines, -1 removed lines patch added patch discarded remove patch
@@ -13,7 +13,7 @@
 block discarded – undo
13 13
     private $_jobs = [];
14 14
     private $_results = [];
15 15
 
16
-    public function add(Job &$job)
16
+    public function add(Job&$job)
17 17
     {
18 18
         if (isset($this->_jobs[$job->getId()])) {
19 19
             throw new DublciateException('job with given id already exists in pool');
Please login to merge, or discard this patch.