Wed, 19 Dec 2012 15:37:12 +0100Fix 'make update-external-tags' behavior (#455)
Alpar Juttner <alpar@cs.elte.hu> [Wed, 19 Dec 2012 15:37:12 +0100] rev 1039
Fix 'make update-external-tags' behavior (#455)

Fri, 01 Mar 2013 17:59:08 +0100Merge #386
Alpar Juttner <alpar@cs.elte.hu> [Fri, 01 Mar 2013 17:59:08 +0100] rev 1038
Merge #386