On 5/19/20 9:19 PM, Martin Sebor via Gcc wrote:
Yep, that was it. It's one of those things that you can stare at for minutes before you notice it.
Thank you for the report, it's 1:0 for the hook ;) Next time, please CC me to a similar issue with the hook. Martin