blob: 4e5406ad4d4b888b83bf4d4a72de06c2d76f4336 (
plain)
1
2
3
4
5
|
- **Fixed:**
``make pretty-timed-diff`` no longer raises Python exceptions in the rare
corner case where the log of times contains no files (`#12388
<https://github.com/coq/coq/pull/12388>`_, fixes `#12387
<https://github.com/coq/coq/pull/12387>`_, by Jason Gross).
|
