# HG changeset patch
# User Sebastien Jodogne <s.jodogne@gmail.com>
# Date 1589987316 -7200
# Node ID 56b2469c4557018b9b4eebf4ab316fab076fb1d6
# Parent  e4e9cca89c643882fcdb9009a3754983a67ddf91
closing clarified-mutual-exclusion-of-callback