> I've just created PR gdb/16303 for that, as I have a moment now to try > to create the release. So, no need for you to do it anymore. And the release is out. I had to rush it a little bit, but sanity checking showed no problem. And the mock-release I did a few weeks ago revealed no unexpected differences with 7.6.1. Thanks, -- Joel