diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2019-04-28 23:04:01 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2019-04-28 23:04:01 -0700 |
| commit | 9b3c06d9647167c8b92caf118244dbdebd574e0c (patch) | |
| tree | a53ec5c615e083127ad5a38ed4a025d63dd7e643 /RELEASE_CHECKLIST.md | |
| parent | 026ca8234ba2e7785beaff5416f7e9bb1a8edd98 (diff) | |
Fix tools/make_spec.lua so it properly handles cross-refs.
Previously it broke in a few cases, e.g. with soft breaks.
This fixes the issue described in #578.
Diffstat (limited to 'RELEASE_CHECKLIST.md')
0 files changed, 0 insertions, 0 deletions