| Fri, 30 Nov 2012 15:05:51 +0100 | wenzelm | report proper pid *after* fork; | file | diff | annotate |
| Thu, 29 Nov 2012 23:12:50 +0100 | wenzelm | more defensive retry via fork; | file | diff | annotate |
| Mon, 24 Sep 2012 16:27:48 +0200 | wenzelm | search bash via PATH as usual (this is no longer restricted to Cygwin with its known file-system layout); | file | diff | annotate |