New commits: commit 693156a1290589448aac41c94f23e2d1f086eb20 Author: Tuomo Soini <tis at foobar.fi> Date: Mon Nov 17 23:28:36 2014 +0200 dist_certs: remove bashism (pushd/popd) and restore use of /bin/sh