Completed
Push — 7.x ( c28cc2...d65b89 )
by no
07:48 queued 01:08
created

No notable changes

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

9.17
▶   ± 0
Head
Thiemo Mättig  
Updated release notes as already done on master
2 more commits
Base
Kunal Mehta  
Remove MediaWiki integration (#758)