From a6dc83e867c9f265076d2697d9ac8834390aa2fa Mon Sep 17 00:00:00 2001
From: Arthur Azevedo de Amorim
Date: Tue, 22 Oct 2019 10:02:11 -0400
Subject: Update changelog.

---
 doc/changelog/06-ssreflect/10932-void-type-ssr.rst | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 doc/changelog/06-ssreflect/10932-void-type-ssr.rst

(limited to 'doc')

diff --git a/doc/changelog/06-ssreflect/10932-void-type-ssr.rst b/doc/changelog/06-ssreflect/10932-void-type-ssr.rst
new file mode 100644
index 0000000000..12ac742156
--- /dev/null
+++ b/doc/changelog/06-ssreflect/10932-void-type-ssr.rst
@@ -0,0 +1,3 @@
+- Add a `void` notation for the standard library empty type (`Empty_set`)
+  (`#10932 <https://github.com/coq/coq/pull/10932>`_, by Arthur Azevedo de
+  Amorim).
-- 
cgit v1.2.3