# HG changeset patch
# User Dmitriy Morozov <dmitriy@mrzv.org>
# Date 1498581425 25200
# Node ID d9a79a28e3cc6184a1309e74959e8872531a4f08
# Parent  b3b810b64a79dc4bd65d03fbd2b8383405cba98a# Parent  67644b9c76680eefd589c3b6a631d681c85eaaf4
Merge dev into default, to avoid the need for 'hg up tip' after clone