Completed
Push — master ( e72afc...9f184f )
by Andreas
02:50
created

No notable changes

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

6.28
▶   ± 0
Head
Andreas Gohr  
make sure guaranteed placeholders are defined. fixes #1792
Base
Andreas Gohr  
run tests on 7.2