View GitHub Repository command

Schedule Inspection
Subscribe
Completed
Pull Request — master (#6)
by Woody
02:37
created
Status
Category
Toggle Patches
src/Command.php 1 patch
Doc Comments   +1 added lines, -1 removed lines patch added patch discarded remove patch 
@@ -53,7 +53,7 @@
 
 block discarded – undo
53 53 
     /**
54 54 
      * Get a copy with new options.
55 55 
      *
56 
-     * @param OptionsInterface $options
56 
+     * @param Options $options
57 57 
      *
58 58 
      * @return static
59 59 
      */
Please login to merge, or discard this patch.