Completed
Push — master ( 515739...696b67 )
by
unknown
04:59 queued 11s
created

No notable changes

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

8.73
▶   ± 0
Head
jenkins-bot  
Merge "build: Updating mediawiki/phan-taint-check-plugin to 1.3.0"
1 more commit
Base
Thiemo Kreuz  
Remove unused GUID map from SpecialConstraintReportTest