Skip to content
Commit 80b09a12 authored by Wei Tang's avatar Wei Tang
Browse files

Short circuit sending proofs if the proof is already published

parent 24a727fc
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment