This bug report is being closed due to your last comment regarding this
being fixed with an update. . Thank you again for taking the time to
report this bug and helping to make Ubuntu better. Please submit any
future bugs you may find.
** Changed in: easycrypt (Ubuntu)
Status: Incomplete =>
It seems to be OK. Can You close this bug please?
--
EasyCrypt.py crashed with RuntimeError in exit()
https://bugs.launchpad.net/bugs/205252
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.u
Is this symptom still reproducible in 8.10 or 9.04?
** Changed in: easycrypt (Ubuntu)
Status: New => Incomplete
--
EasyCrypt.py crashed with RuntimeError in exit()
https://bugs.launchpad.net/bugs/205252
You received this bug notification because you are a member of Ubuntu
Bugs, which is s
** Visibility changed to: Public
--
EasyCrypt.py crashed with RuntimeError in exit()
https://bugs.launchpad.net/bugs/205252
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https:/
