There is no issue in reporting complaints here. :) The changes to Make.defs do also improve performance, however we need to do some hacks to get rid of the error messages.
On Sun, May 31, 2020 at 1:16 PM Maciej Wójcik <w8j...@gmail.com> wrote: > > Thanks for explanation. I went through that PR right now. > > I was just reporting as a good citizen :) I will check Issue pane next time > before spamming.
