Bug#1142901: marked as pending in menhir
Stéphane Glondu <[email protected]>
| Newsgroups | gmane.linux.debian.devel.bugs.rc |
|---|---|
| Message-ID | <[email protected]> |
Control: tag -1 pending Hello, Bug #1142901 in menhir reported by you has been fixed in the Git repository and is awaiting an upload. You can see the commit message below and you can check the diff of the fix at: https://salsa.debian.org/ocaml-team/menhir/-/commit/55e8ad9ecf81e45f83d600119d4d5f4b2919a5e2 ------------------------------------------------------------------------ Fix installation of manpage (Closes: #1142901) ------------------------------------------------------------------------ (this message was generated automatically)