mailing-list for TeXmacs Users

[张启德(Zhang Qide) <address@hidden>]

2012/3/24 Miguel de Benito Delgado <address@hidden>:
> This is a bug. If your are so kind to file a bug report in savannah I'd be
> thankful.
>
> https://savannah.gnu.org/bugs/?func=additem&group=texmacs
>
> Please add as much relevant information as you can (this email for
> instance). If you don't have an account or don't know how I can do it for
> you.

Thank you! I have file a bug report.
>
> Cheers,
> Miguel