path: root/doc/changelog/02-specification-language/13911-master.rst

- **Removed:**
  The little used `:>` type cast, which was only interpreted in Program-mode
  (`#13911 <https://github.com/coq/coq/pull/13911>`_,
  by Jim Fehrle and Théo Zimmermann).