Skip to content
Unverified Commit 95ee59ce authored by Ross Bulat's avatar Ross Bulat
Browse files

amend proof comment

parent 9c5e7729
Pipeline #418643 failed with stages
in 40 minutes and 39 seconds