path: root/doc/changelog/06-ssreflect/10932-void-type-ssr.rst

- **Added:**
  A :g:`void` notation for the standard library empty type (:g:`Empty_set`)
  (`#10932 <https://github.com/coq/coq/pull/10932>`_, by Arthur Azevedo de
  Amorim).