Tue, 08 Apr 2014 15:43:12 +0200Bugfix in default LP/MIP setting (#465)
Alpar Juttner <alpar@cs.elte.hu> [Tue, 08 Apr 2014 15:43:12 +0200] rev 1306
Bugfix in default LP/MIP setting (#465)

The bug was introduced in [fc3854d936f7]