Coq 8.19.2

The tag for 8.19.2 has been set to commit d739f8d6f60d623fe20933a8506e53f3d6391eaa.

Coq 8.19.2 fixes a number of bugs.

Coq 8.19.2 is compatible with memprof-limits interruption methods. This
means that Coq will be recompiled when the library is installed /
removed from an OPAM switch.

See the changelog Recent changes — Coq 8.19.1 documentation for details.