From 94446fec6775af6d1bd5b4c3d84a0497ae512771 Mon Sep 17 00:00:00 2001
From: Robbert <gitlab-sws@robbertkrebbers.nl>
Date: Thu, 14 Dec 2017 13:38:32 +0100
Subject: [PATCH] Changelog: Do not line break in code in Markdown.

That confuses Gitlab's pretty-printer.
---
 CHANGELOG.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 4bae6fe6b..cad2fd4a1 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -111,8 +111,8 @@ sed 's/\bPersistentP\b/Persistent/g; s/\bTimelessP\b/Timeless/g; s/\bCMRADiscret
   setup Iris for your language.
 * Restore the original, stronger notion of atomicity alongside the weaker
   notion. These are `Atomic a e` where the stuckness bit `s` indicates whether
-  expression `e` is weakly (`a = WeaklyAtomic`) or strongly (`a =
-  StronglyAtomic`) atomic.
+  expression `e` is weakly (`a = WeaklyAtomic`) or strongly
+  (`a = StronglyAtomic`) atomic.
 * Various improvements to `solve_ndisj`.
 * Use `Hint Mode` to prevent Coq from making arbitrary guesses in the presence
   of evars, which often led to divergence. There are a few places where type
-- 
GitLab