Skip to content

Fix typo in the comments.

Dan Frumin requested to merge dfrumin/iris-coq:dfrumin-master-patch-71378 into master

Merge request reports