Completed
Push — master ( 457a5f...67d5ef )
by Henry
19s queued 10s
created

No notable changes

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

5.6
▶   ± 0
Head
Henry Pan  
Merge pull request #2847 from dokuwiki-translate/lang_update_1316_1567063941
1 more commit
Base
Andreas Gohr  
use a script to fetch the correct phpunit