Bug#347181: marked as done (tuareg-mode: error in scanning gdome.mli)
Your message dated Fri, 17 Feb 2006 20:43:14 +0100
with message-id <20060217194314.GB1714@club-internet.fr>
and subject line closed
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).
-Ralf.
--- End Message ---
Reply to: