diff -r 1e0516ee4cb9 -r b20d04641c0f CHANGELOG
--- a/CHANGELOG	Mon Apr 06 05:08:23 2020 +0200
+++ b/CHANGELOG	Wed Mar 11 23:56:11 2020 +0100
@@ -11,6 +11,7 @@
   * topic: fix auto-publish=abort with server that auto-publishes bare branches
   * evolve: checking for new head on push is no longer confused by mixed
             branches(or topics)
+  * single-heads: ignore obsolete section when enforcing one head per branch
 
 9.3.0 -- 2020-03-04
 -------------------