Completed
Push — master ( fe2e97...541032 )
by Andreas
04:44 queued 01:42
created

No notable changes

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

5.89
▶   ± 0
Head
Andreas Gohr  
extension manager: fix for empty API result. fixes #3330
Base
Andreas Gohr  
PHP 8: rename match() to apply() in Lexer #3298