diff options
| author | Jason Gross | 2018-08-29 11:25:34 -0400 |
|---|---|---|
| committer | Jason Gross | 2018-08-29 11:54:44 -0400 |
| commit | 62bed22d2c104da07fc49b9c5f6229afedb92a07 (patch) | |
| tree | 97053d3b85f8fc8a2b46c261870dd3f4e45d5cb5 /Makefile.dev | |
| parent | 06a00cf53442dacafd578b8db655e5d8097e9d84 (diff) | |
Move CHANGES entry for #8167 to 8.8.2 section
As per https://github.com/coq/coq/pull/8167#issuecomment-416929865
Diffstat (limited to 'Makefile.dev')
0 files changed, 0 insertions, 0 deletions