tree b24e0bf0a3ae98f2a477cfe89b26b9391706f6f1
parent ddd2c334a2f8f40a13d2805f16b82bfffdccda99
author Ed Willink <ed@willink.me.uk> 1583169692 +0000
committer Ed Willink <ed@willink.me.uk> 1583169692 +0000

[qvt] Withdrawn submission for ECMFA 2020