Skip to content

Hint Mode Equiv: update link to blocking Coq issue

Paolo G. Giarrusso requested to merge Blaisorblade/stdpp:Blaisorblade-master-patch-54151 into master

Based on https://github.com/coq/coq/issues/9058#issuecomment-496479506.

The goal is to track when this can be fixed.

Merge request reports