# HG changeset patch
# User Kai T. Ohlhus <k.ohlhus@gmail.com>
# Date 1579067810 -32400
# Node ID d9e325dbd5d32d0dc68451e4a54df245f5e27dc9
# Parent  12edd3774db6a7162eebd0be05b9e3071c4a0bf4# Parent  ec0690a6955c8d5236b29b975c09a1f2a5a1559c
maint: merge stable to default.