baecdc76

By: CHANGE_ME <CHANGE@ME.ch>

Pin the Vakint RustRed branch contract
GitHub
configure