# HG changeset patch
# User Sebastien Jodogne <s.jodogne@gmail.com>
# Date 1788807531 -7200
# Node ID f72b20cbd84e213e471308e06811f34662fc25e3
# Parent  164565ec35c3c025aa424b7e12260e8f57e9e1ef# Parent  a30dd5ee45c61af6277f99398238b3838b9959a4
integration annotations->mainline