Mon, 15 Oct 2018 23:22:18 +0200Fix warnings emitted by VS2017 (#614)
Alpar Juttner <alpar@cs.elte.hu> [Mon, 15 Oct 2018 23:22:18 +0200] rev 1396
Fix warnings emitted by VS2017 (#614)

Wed, 17 Oct 2018 18:56:39 +0200Merge #1.3 related bugfix heads
Alpar Juttner <alpar@cs.elte.hu> [Wed, 17 Oct 2018 18:56:39 +0200] rev 1395
Merge #1.3 related bugfix heads

Wed, 17 Oct 2018 18:56:32 +0200Merge #1.3 related bugfix heads
Alpar Juttner <alpar@cs.elte.hu> [Wed, 17 Oct 2018 18:56:32 +0200] rev 1394
Merge #1.3 related bugfix heads

Wed, 17 Oct 2018 18:56:08 +0200Merge #1.3 related bugfix heads
Alpar Juttner <alpar@cs.elte.hu> [Wed, 17 Oct 2018 18:56:08 +0200] rev 1393
Merge #1.3 related bugfix heads

Wed, 17 Oct 2018 18:55:53 +0200Merge #1.3 related bugfix heads
Alpar Juttner <alpar@cs.elte.hu> [Wed, 17 Oct 2018 18:55:53 +0200] rev 1392
Merge #1.3 related bugfix heads

Fri, 23 Mar 2018 16:09:27 +0100Merge bugfix #608 to branch 1.3 1.3
Alpar Juttner <alpar@cs.elte.hu> [Fri, 23 Mar 2018 16:09:27 +0100] rev 1391
Merge bugfix #608 to branch 1.3

Fri, 23 Mar 2018 16:09:06 +0100Merge bugfix #609 to branch 1.3 1.3
Alpar Juttner <alpar@cs.elte.hu> [Fri, 23 Mar 2018 16:09:06 +0100] rev 1390
Merge bugfix #609 to branch 1.3

Fri, 23 Mar 2018 15:43:30 +0100Merge #602
Alpar Juttner <alpar@cs.elte.hu> [Fri, 23 Mar 2018 15:43:30 +0100] rev 1389
Merge #602

Fri, 23 Mar 2018 15:39:54 +0100Merge bugfix #608
Alpar Juttner <alpar@cs.elte.hu> [Fri, 23 Mar 2018 15:39:54 +0100] rev 1388
Merge bugfix #608

Fri, 23 Mar 2018 15:37:23 +0100Merge bugfix #609
Alpar Juttner <alpar@cs.elte.hu> [Fri, 23 Mar 2018 15:37:23 +0100] rev 1387
Merge bugfix #609