diff options
| author | Guillaume Melquiond | 2015-02-15 13:13:17 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2015-02-15 13:13:17 +0100 |
| commit | 5830f5867f36ebf66bc1f4126762f4b1c1444f94 (patch) | |
| tree | ceb612c5a65ccc856e7b0150076a0b01f479aafe /lib/errors.ml | |
| parent | dd790577b8acc241201f6863fe3409a2e08b8757 (diff) | |
Document the behavior change of Instance wrt {|...|}. (Fix for bug #3749)
Diffstat (limited to 'lib/errors.ml')
0 files changed, 0 insertions, 0 deletions