10.9.10 Push patch

Once all the comments have been addressed, the patch can be pushed.

If the author has push privileges, the author will push the patch. Otherwise, a developer with push privileges will push the patch.


LilyPond — Contributor’s Guide v2.19.15 (development-branch).