# HG changeset patch
# User Alpar Juttner <alpar@cs.elte.hu>
# Date 1376250981 -7200
# Node ID cf6084618b1b09253120920280ff49355ca81772
# Parent  c08d0f04c1176379ba7e476d321ccc4992840ab9# Parent  6c8e2d8712d8c09ad85788acce9eee2666fa5e72
Merge headmerge to the default branch