Merge pull request #1909 from informalsystems/shon/fix-changelog-entr…

…y-formatting Fix formatting of changelog entries
apalache-mc · Jul 4, 2022 · 11df56f · 11df56f
2 parents 4bba030 + 5bc4e81
commit 11df56f
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.unreleased/features/1870.md b/.unreleased/features/1870.md
@@ -1 +1 @@
- - Support variants in the model checker with `--features=rows`, see #1870
+Support variants in the model checker with `--features=rows`, see #1870
diff --git a/.unreleased/features/1898.md b/.unreleased/features/1898.md
@@ -1 +1 @@
- - serialize variants to the ITF format, see #1898
+serialize variants to the ITF format, see #1898
diff --git a/.unreleased/features/remove-posttype.md b/.unreleased/features/remove-posttype.md
@@ -1 +1 @@
- - Replace PostTypeChecker pass with an additional predicate, see #1878
+Replace PostTypeChecker pass with an additional predicate, see #1878
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		- Support variants in the model checker with `--features=rows`, see #1870
		Support variants in the model checker with `--features=rows`, see #1870
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		- serialize variants to the ITF format, see #1898
		serialize variants to the ITF format, see #1898
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		- Replace PostTypeChecker pass with an additional predicate, see #1878
		Replace PostTypeChecker pass with an additional predicate, see #1878