Sun, 23 Jul 2017 00:00:00 +0200Meet Referee's requests
Madarasi Peter [Sun, 23 Jul 2017 00:00:00 +0200] rev 28
Meet Referee's requests

Wed, 30 Nov 2016 23:26:43 +0100Merge
Alpar Juttner <alpar@cs.elte.hu> [Wed, 30 Nov 2016 23:26:43 +0100] rev 27
Merge

Wed, 30 Nov 2016 23:03:41 +0100fine tune
Madarasi Peter [Wed, 30 Nov 2016 23:03:41 +0100] rev 26
fine tune