Rocq: enable messages for Rocq >= 9.2 #303

Annotations

8 errors and 1 warning

FAILED 1/1 coqtop-unavailable (0.553094 sec)

failed 8/8 yank-comment-end-in-processed-comment (0.300784 sec)

failed 7/8 undo-kill-from-comment-to-comment (0.295256 sec)

failed 6/8 undo-comment-spanning-over-two-comments (0.304057 sec)

failed 5/8 undo-breaks-up-nested-comment (0.304748 sec)

failed 4/8 kill-from-comment-to-next-comment (0.288255 sec)

failed 3/8 insert-only-comment-end-in-processed-comment (0.302857 sec)

failed 1/8 comment-definition-process-undo (0.950018 sec)

Failed to remove 'http.https://github.com/.extraheader' from the git config