Set pin to tag instead of branch - SemanticDiff

Commit

3 years ago

Set pin to tag instead of branch

References

JackCaoG/1_13_revert_addcmul

#4398 - manually lower addcmul and addcdiv in 1.13

Author

root

Parents

Loading