On Dec 17, 2019, at 13:58, Jonas Hahnfeld <hah...@hahnjo.de> wrote: > I would also propose to pick the following, more recent commits: > […] > 86de0f8f38 Use a stable sort when ordering MIDI items > 152a281031 Issue 5217: Fix sorting order without outside-staff-priority
Pretty please, pick these. I support not picking improvements to the development workflow. A person maintaining 2.20 will need to avoid referring to the 2.21 Contributor's Guide, but hopefully that's understandable. — Dan
