On 10/12/21 8:18 AM, Martin Kepplinger wrote:
does this "consmetic" change have any chance of being acceptible? At least it'd be nice if messages sent as error are real errors that needs fixing.
Hi Martin,It seems like I overlooked that patch. Since this patch was posted ten months ago, it is likely that it has disappeared from the mailboxes of the people who are interested in this patch. Please repost this patch.
Thanks, Bart.