From: Ralf Jung Date: Thu, 10 Oct 2013 13:23:00 +0000 (+0200) Subject: Fix old_pins (though it is not used) X-Git-Url: https://git.ralfj.de/saartuer.git/commitdiff_plain/c3f869a3599a8d58dd4c6f12031e67eec9654de5?ds=sidebyside;hp=c3f869a3599a8d58dd4c6f12031e67eec9654de5 Fix old_pins (though it is not used) ---