Muehlenhoff has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/344591 )
Change subject: Bump ABI to 4 ...................................................................... Bump ABI to 4 Change-Id: If86f74535828a17864759a7907caff773d0f0355 --- M debian/config.defines.dump M debian/config/defines M debian/control M debian/control.md5sum M debian/rules.gen M debian/tests/control 6 files changed, 5,188 insertions(+), 5,188 deletions(-) Approvals: Muehlenhoff: Looks good to me, approved jenkins-bot: Verified -- To view, visit https://gerrit.wikimedia.org/r/344591 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: If86f74535828a17864759a7907caff773d0f0355 Gerrit-PatchSet: 1 Gerrit-Project: operations/debs/linux44 Gerrit-Branch: master Gerrit-Owner: Muehlenhoff <mmuhlenh...@wikimedia.org> Gerrit-Reviewer: Muehlenhoff <mmuhlenh...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits