Subject: VerifyThis: Long-term Challenge

Description: Mailing list for the VerifyThis 2020: Long-term Challenge.

https://verifythis.github.com