On Thu, Apr 5, 2018 at 6:37 AM, Johannes Schindelin <Johannes.Schindelin@xxxxxx> wrote: > After thinking about this more, I am a lot less opposed to including this > in Git's source code. However, as it is not necessary for Git's > functionality, it should probably go into contrib/, and I would much > rather have a more descriptive name such as > contrib/bash-debugging-library/... > > Ciao, > Johannes I'll move it, thanks for the feed back and considering it for inclusion. -- Wink
