On Fri, Sep 26, 2014, at 05:43 PM, Martti Kühne wrote:
Removing bashisms would not have any inpact in security but rather enable us switching /bin/sh away from /usr/bin/bash. Which we in general appear to agree on?
We do, but let's hope a dev weighs in on this. Or rather, it's time to open a bug report.