On Thu, 21 Nov 2019 14:43:15 +0100, Georges Racinet wrote:
> # HG changeset patch
> # User Georges Racinet
> # Date 1574273222 -3600
> # Wed Nov 20 19:07:02 2019 +0100
> # Branch stable
> # Node ID 0509d93280bfd9df473ad4ee5b00d0d1d1e8e291
> # Parent ca3dca416f8d5863ca6f5a4a6a6bb835dcd5feeb
# HG changeset patch
# User Georges Racinet
# Date 1574273222 -3600
# Wed Nov 20 19:07:02 2019 +0100
# Branch stable
# Node ID 0509d93280bfd9df473ad4ee5b00d0d1d1e8e291
# Parent ca3dca416f8d5863ca6f5a4a6a6bb835dcd5feeb
# EXP-Topic single_head_is_boolean
singlehead: making config item a bool