# HG changeset patch
# User Sebastien Jodogne <s.jodogne@gmail.com>
# Date 1585547788 -7200
# Node ID 12ecdb63a8cbd38d262679f5fddde5e6cca30f35
# Parent  1ba75bac55fd04690328c4c7cd09d94186089bc9# Parent  e4e9cca89c643882fcdb9009a3754983a67ddf91
merging David-Wikler/clarified-mutual-exclusion-of-callback-1585511553371