Completed
Push — fix/warnings-php73 ( d837cd...14b134 )
by Jeremy
08:02 queued 01:24
created

No notable changes

There were no notable changes in the changeset which was inspected.

4.79
▶   ± 0
Head
Jeremy Herve  
Fix more PHP warnings
Base
Jeremy Herve  
PHP 7.3: avoid warnings from continue inside a switch statement