Changes between Version 3 and Version 10 of Ticket #12222
- Timestamp:
- Nov 20, 2016, 10:13:56 PM (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #12222
- Property Status assigned → closed
- Property Resolution → fixed
-
Ticket #12222 – Release Notes
v3 v10 1 Prevent the reuse of the same URL in the Pygments description that would otherwise put a wrong entry in the pot file.