On 03/02/2017 01:32 PM, Marek Polacek wrote: > It's probably too late to change opt-functions.awk now, so the following > is a badn aid fix.
Thanks for the patch, I've written this to my TODO list for new stage1. It's bit connected to IntegerRange attribute which I would like to append to options. Martin