blob: 8a43f5af94690370ec078b7f30b6afbfb1bafe13 (
plain)
1
2
3
4
|
- **Changed:**
The pretty-timed scripts and targets now print a newline at the end of their
tables, rather than creating text with no trailing newline (`#12368
<https://github.com/coq/coq/pull/12368>`_, by Jason Gross).
|
