Bug#347181: marked as done (tuareg-mode: error in scanning gdome.mli)
Your message dated Sun, 1 Oct 2006 19:25:11 +0200
with message-id <20061001172511.GA2102@club-internet.fr>
and subject line close
has caused the attached Bug report to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what I am
talking about this indicates a serious mail system misconfiguration
somewhere. Please contact me immediately.)
Debian bug tracking system administrator
(administrator, Debian Bugs database)
--- Begin Message ---
- To: submit@bugs.debian.org
- Subject: tuareg-mode: error in scanning gdome.mli
- From: YANG Shouxun <yang.shx@fltrp.com>
- Date: Mon, 9 Jan 2006 16:23:41 +0800
- Message-id: <200601091623.42077.yang.shx@fltrp.com>
Package: tuareg-mode
Version: 1.45.2-1
Severity: normal
Just as a remind of the issue.
Tuareg raises an error when scanning gdome.mli (from Debian package
libgdome2-ocaml-dev) at line 615. That is unexpected, as ocaml-mode works
perfectly well with gdome.mli.
Thanks!
--- End Message ---
--- Begin Message ---
Version: 1.45.3-1
This bug has been fixed by upstream version 1.45.3 (the debian changelog
of package version 1.45-3.1 contains the wrong bug number).
And my previous attempt to close this bug contained an invalid
version number :-(
-Ralf.
--- End Message ---
Reply to: