EasyCrypt

  1. Bug #189747
  2. Comment #6

Comment 6 for bug 189747

Revision history for this message
Data (ubuntuaddress) wrote :

This bug is definitely fixed already, therefore changing the status to Fix Released.
(Just to clean up launchpad a little bit)