tree 23408c9d6d03db40c7263c928cb7780aea83fcc5
parent 3697a829dee836cde5faf0ab504254c847428c01
author Bernhard Reutner-Fischer <rep.dot.nop@gmail.com> 1168120029 -0000
committer Bernhard Reutner-Fischer <rep.dot.nop@gmail.com> 1168120029 -0000

- minor shrinkage: -25 bytes or so.