Completed
Push — update-vagrant ( 99659c...aeb7a1 )
by Christian
34:31 queued 19:46
created

No notable changes

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

8.77
▶   ± 0
Head
Christian Flach  
Merge remote-tracking branch 'remotes/origin/master' into update-vagrant
3 more commits
Base
Christian Flach  
Require ext-xml (has always been implicitly required anyways)