diff options
| author | Hugo Herbelin | 2020-02-22 01:43:43 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2020-02-22 08:35:59 +0100 |
| commit | 2e64c61cf64172fb0dce2d8b3996fb30e179e5ea (patch) | |
| tree | 7d585e0649430fd564ada3e4b0445c2be2e387c2 /dev/doc/changes.md | |
| parent | 1d840bf16744717e3289afaf66db4c44a7f7d814 (diff) | |
Fixing a bug introduced in PR #10832 (new format specific to a given notation).
The import of the format should not be done if i<>1 in open_notation.
Diffstat (limited to 'dev/doc/changes.md')
0 files changed, 0 insertions, 0 deletions