I was checking the in-flight patches and saw that we never acknowledge
the reception of those patches.
Thank you, they have been merged in evolve.
Sorry about the delay.
On 14/10/2018 13:42, Anton Shestakov wrote:
> # HG changeset patch
> # User Anton Shestakov
> # Date 1539516913 -7200
> #
# HG changeset patch
# User Anton Shestakov
# Date 1539516913 -7200
# Sun Oct 14 13:35:13 2018 +0200
# Node ID f3d9033c08be3b97861f490a62619887def287f8
# Parent 3c28f8a3a5a5773952ea58e9098c8d1ff4234002
evolvecmd: mark flags with old instability names as deprecated
diff --git
