On Wed, Jan 27, 2021 at 1:10 PM Gedare Bloom wrote:
> Super, let's do it. Changing it is a manual process. So whoever pushes the
> file in the tools repo should also be responsible to make sure it gets
> uploaded. I'm willing to do the upload on-demand.
>
+1
It would also be nice to add some mo
Super, let's do it. Changing it is a manual process. So whoever pushes the
file in the tools repo should also be responsible to make sure it gets
uploaded. I'm willing to do the upload on-demand.
(Apparently the last coverity build failed.)
On Wed, Jan 27, 2021 at 11:17 AM Sebastian Huber <
seba
