Skip to content

Support tighter precedence for x.1, x.2 notation.

David Swasey requested to merge swasey/ssrfun into master

Without this change, a recent MR to stdpp prevents Iris from compiling.

Merge request reports