Unclear repo name

[dumain]

It would be good if there were a clear statement about exactly what is verified about this repository. It isn't clear whether what has been verified is:

• That it is a mirror of 7.1

OR

• That it has passed an audit by the AuditProject without serious flaws being found.

[johannesE]

As I am not seeing a fix being applied any time soon, any future reader might inform himself about the details here: http://istruecryptauditedyet.com/