Ævar Arnfjörð Bjarmason <[email protected]> writes: [...]
> I filed that pull request and was wondering why this wasn't working > the other day, just continued in the shell. > > I thought that pull request had been merged already. Anyway, good that > the patch in the pull request worked for you Andrew. I've just merged it. The patch is now in master. -- Rémi Vanicat
