# HG changeset patch
# User Alpar Juttner <alpar@cs.elte.hu>
# Date 1376227862 -7200
# Node ID fbb7ddd13c8bd776a4c7023e908ee759685973b6
# Parent  621de675247aba4d9c3de2f2ab65a0c7a986eb1d# Parent  6c8e2d8712d8c09ad85788acce9eee2666fa5e72
Merge headmerge to branch 1.3