From: Ralf Jung <post@ralfj.de>
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?hp=c3f869a3599a8d58dd4c6f12031e67eec9654de5

Fix old_pins (though it is not used)
---