details: http://lemon.cs.elte.hu/hg/lemon/rev/02c93d1f00d7 changeset: 1110:02c93d1f00d7 user: Alpar Juttner <alpar [at] cs.elte.hu> date: Tue Dec 20 19:10:50 2011 +0100 description: Merge head merging to branch 1.2