Hi Wink, On Thu, 5 Apr 2018, Wink Saville wrote: > 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/... > > I'll move it, thanks for the feed back and considering it for inclusion. Note: I have nothing to do with including it. That is the sole discretion of Junio (who is offline for a week or two, if I understood correctly). Ciao, Johannes
