On Tue, Jan 24, 2017 at 10:31:49AM +0100, julien lepiller wrote: > Le 2017-01-23 22:31, Leo Famulari a écrit : > > Can you change these substitutions to use (which "sh") instead? > > I didn't think it would cause any issue, but sure I will.
Hopefully it doesn't cause an issue, but we should stick with the upstream developers' choice of shell.
