diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2016-11-14 13:57:21 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2016-11-14 14:17:11 +0100 |
commit | 5c78ca4d8fcaa37ab72d91b408223f683c1a48ac (patch) | |
tree | 82aa72bc232614e17c8d793c9730a669a6d2a642 /configure.ml | |
parent | 8fe6da32544ee73201f7c64b3dd45afb56c75b71 (diff) |
Remove the list of bug fixes from CHANGES.
We could not produce an exhaustive list of such fixes, and the
usefulness of such a list is not clear.
Diffstat (limited to 'configure.ml')
0 files changed, 0 insertions, 0 deletions