Thu, 08 Oct 2015 10:03:29 +0200Merge bugfix #600 to branch 1.3 1.3
Alpar Juttner <alpar@cs.elte.hu> [Thu, 08 Oct 2015 10:03:29 +0200] rev 1363
Merge bugfix #600 to branch 1.3

Fri, 02 Oct 2015 17:41:28 +0200Add missing #include to capacity_scaling.h (#600)
Peter Kovacs <kpeter@inf.elte.hu> [Fri, 02 Oct 2015 17:41:28 +0200] rev 1362
Add missing #include to capacity_scaling.h (#600)