I word-smithed the message a bit, and now consider this PR ready-to-go (as it passed auto-tests and my local build, which I have to admit is problematic at the moment).
But since this PR changes not just the prose but also adds code, I think only one of the release techs (JJ, HC, RV) should actually merge.
I word-smithed the message a bit, and now consider this PR ready-to-go (as it passed auto-tests and my local build, which I have to admit is problematic at the moment). But since this PR changes not just the prose but also adds code, I think only one of the release techs (JJ, HC, RV) should actually merge.