Tue, 30 Jul 2013 15:03:53 +0200Suppress 'unused local typedefs' warnings, and resolve others (#470)
Alpar Juttner <alpar@cs.elte.hu> [Tue, 30 Jul 2013 15:03:53 +0200] rev 1236
Suppress 'unused local typedefs' warnings, and resolve others (#470)

Wed, 24 Jul 2013 10:21:35 +0200Bugfix in test/maps_test.cc (#469)
Alpar Juttner <alpar@cs.elte.hu> [Wed, 24 Jul 2013 10:21:35 +0200] rev 1235
Bugfix in test/maps_test.cc (#469)