coq/doc/changelog/07-vernac-commands-and-options/14093-fix-14092.rst, branch master

coq/doc/changelog/07-vernac-commands-and-options/14093-fix-14092.rst, branch master The formal proof system Register Ltac2 grammar entry as "ltac2" for the Print Grammar vernacular. 2021-04-08T12:38:21+00:00 Pierre-Marie Pédrot 2021-04-08T12:33:15+00:00 45e064836ec1f50300198f89c099b71d0e2059b9 Fixes #14092: Print Grammar ltac2 should exist.

Fixes #14092: Print Grammar ltac2 should exist.