Processed (with 4 errors): Debian science

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> severity 518048 normal
Bug#518048: science-mathematics: Suggests 'Isabelle' package, which contains uppercase letter
Severity set to `normal' from `serious'

> tags 518048 + fixed pending
Bug#518048: science-mathematics: Suggests 'Isabelle' package, which contains uppercase letter
There were no tags set.
Tags added: fixed, pending

> thx
Unknown command or malformed arguments to command.

> Andreas fixed it in the svn and I changed the severity to normal
Unknown command or malformed arguments to command.

> (instead of serious) since I don't believe it is an important bug.
Unknown command or malformed arguments to command.

> Sylvestre
Unknown command or malformed arguments to command.

>
End of message, stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)