2022-11-25
| ||
23:45 | • Fixed ticket [7c108969eb]: Support for IRIs plus 4 other changes artifact: 2eccea9623 user: js | |
2022-11-23
| ||
21:57 | • Ticket [7c108969eb]: 4 changes artifact: f29b8ead66 user: js | |
21:26 | • New ticket [7c108969eb]. artifact: 3b87c0698c user: js | |
Ticket UUID: | 7c108969eb6434e3357eceb9d19a24b0ad5e2d1e | |||
Title: | Support for IRIs | |||
Status: | Fixed | Type: | Enhancement | |
Severity: | Important | Priority: | High | |
Subsystem: | Resolution: | Fixed | ||
Last Modified: | 2022-11-25 23:45:16 | |||
Version Found In: | Milestone: | 1.0 | ||
User Comments: | ||||
js added on 2022-11-23 21:26:39:
Decide whether to support IRIs for 1.0 and decide whether to replace URIs with IRIs entirely. js added on 2022-11-23 21:57:00: Steps to switch to IRIs:
js added on 2022-11-25 23:45:16: This is now done. |