diff --git a/exact-head-disposable-proof.md b/exact-head-disposable-proof.md new file mode 100644 index 0000000..4ad8a51 --- /dev/null +++ b/exact-head-disposable-proof.md @@ -0,0 +1,2 @@ +Disposable exact-head enforcement proof. H2 +Close unmerged and delete this branch after testing.