some iterator tuning
authorRalf Jung <post@ralfj.de>
Thu, 9 Jul 2015 13:14:20 +0000 (15:14 +0200)
committerRalf Jung <post@ralfj.de>
Thu, 9 Jul 2015 13:15:36 +0000 (15:15 +0200)

No differences found