On Thu, 10 Oct 2019 09:57:31 +0200 Viktor Rosendahl <viktor.rosend...@gmail.com> wrote:
> Sounds good to me. I will try to adjust the patch accordingly within a few > days. OK, Also, I may hold off on patch 3. I want to make sure that adding a new directory to tools is OK, and see if there's not other things we can add there. -- Steve