Wed, 11 Sep 2013 14:07:24 +0200 | blanchet | reintroduced half of f99ee3adb81d -- that part definitely looks useless (and is inefficient) | changeset | files |
Wed, 11 Sep 2013 14:07:24 +0200 | blanchet | reverted f99ee3adb81d -- that old logic seems to make a difference still today | changeset | files |
Wed, 11 Sep 2013 11:38:07 +0200 | wenzelm | merged | changeset | files |