Martinez 277f6d7d6d reverted the enhancement of the behavior of history search		2017-02-27 10:03:32 +01:00
..
etc	reverted the enhancement of the behavior of history search	2017-02-27 10:03:32 +01:00