Sorry about that. I was going to do that for this release, but the way I added the task to the release process page made it impossible for me to see. It now has its own heading and should no longer get neglected. I will apply this patch shortly and close.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Thanks for the patch.
Sorry about that. I was going to do that for this release, but the way I added the task to the release process page made it impossible for me to see. It now has its own heading and should no longer get neglected. I will apply this patch shortly and close.
Diff:
Pushed as [r15661].
Related
Commit: [r15661]