diff options
| author | Florian Diebold <[email protected]> | 2021-05-21 16:48:15 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2021-05-21 17:23:03 +0100 |
| commit | 6e5637983c155b2914647bb5e437337a44a63a7d (patch) | |
| tree | 7329b76bdc2424075fafcac3108d70f1d8bae82c /PRIVACY.md | |
| parent | 556c9cebdb91278702263df4ac8c99ec24ab331a (diff) | |
Record type mismatches for failed coercions in match etc.
Diffstat (limited to 'PRIVACY.md')
0 files changed, 0 insertions, 0 deletions