27 Jul
2019
27 Jul
'19
7:46 a.m.
On Sat, Jul 27, 2019, 04:44 Giovanni Mascellani via Boost < boost@lists.boost.org> wrote: <...>
My question is: are you interested in this kind of patches? Of course I would still go through the ordinary patch submission procedure. I am just asking if this kind of patches would be well received or not.
I'd be glad to merge such patches. Many thanks in advance! BTW, we'll have to update one of our static analysis tools to make sure that all the files have the right copyright notice format.