Closed robang74 closed 1 year ago
Thanks Roberto for your work on improving Isar,
could you please send the patch to the mailing list? Mentioning the problem that the patch is intended to solve in the commit message would help.
In general, we use the mailing list for any changes. Pull requests are suitable for a small maintainer team but not for a broader community discussions including downstream projects. So we don't use PRs, but seems there is no way on GitHub to disable those.
Submitted to the mailing-list an processed overthere
Signed-off-by: Roberto A. Foglietta roberto.foglietta@gmail.com