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

- Add 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).