# HG changeset patch # User Jordi GutiƩrrez Hermoso # Date 1344870086 14400 # Node ID 886d1fc9d575a812f80d99d916f59a4174554adb # Parent ad9523348676b4ce393428580a38740b3e8925db GUI branch merged in, closing the GUI branch