Merge pull request #254 from t-b/tb_add_newer_bash
commit26713cc1717af42a2d366c2d6a7afc58ebd98147
authordscho <johannes.schindelin@gmx.de>
Mon, 29 Sep 2014 19:42:27 +0000 (29 21:42 +0200)
committerdscho <johannes.schindelin@gmx.de>
Mon, 29 Sep 2014 19:42:27 +0000 (29 21:42 +0200)
tree0bbcc7f24f1a6bb2f7497d8cf98a8ce7aeecadf2
parent11f8d7da41ef6e6e182cd6a9b76432edb24556e1
parent895e4dd8e8cccf7c210dfddbd7bd251e6f85a5a4
Merge pull request #254 from t-b/tb_add_newer_bash

Update bash to patch release 20