diff options
| author |  Arnaud Spiwack <arnaud@spiwack.net> | 2014-08-07 08:10:13 +0200 |
|---|---|---|
| committer | Arnaud Spiwack <arnaud@spiwack.net> | 2014-08-07 08:10:13 +0200 |
| commit | fb29084052da03308fe45a918c55b86627ba54b6 (patch) | |
| tree | 7ad3938e1132b1b27ba1e7c19a79aea8c0d9e946 /.mailmap | |
| parent | 7e8612307f8393f12783bd9c591e6e26a3277b9d (diff) | |
Hypotheses in [Proofview.Goal.enter] were not normalised.
Fixes PTSF (though I have no idea what caused this bug to show up just yesterday).
Diffstat (limited to '.mailmap')
0 files changed, 0 insertions, 0 deletions