Richard Heck e5323de7cf Try to fix bug #9587 correctly.
See the discussion there for the reasons for the changes.
2015-06-01 21:52:02 -04:00
..
2014-07-04 19:55:44 +02:00
2015-06-01 21:52:02 -04:00
2015-05-24 13:50:21 +02:00
2014-08-31 15:21:20 +02:00