diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2017-02-10 08:17:47 +0100 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-02-10 08:18:08 +0100 |
| commit | a84a360f7a8dbd8da180ca46faaa7dfae025149d (patch) | |
| tree | 041499086e08e81dfaa511339a3a4a7a434671ee /RELEASE-CHECKLIST | |
| parent | 87507e1b9cf976aeb39a9308a2d050ea6e060585 (diff) | |
HTML reader: Added warnings for ignored material.
See #3392.
Diffstat (limited to 'RELEASE-CHECKLIST')
0 files changed, 0 insertions, 0 deletions