Fix old_pins (though it is not used)
[saartuer.git] / waker.py
2013-10-03 Ralf Jungstart implementing the new all-great tuerd