Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
| Comment: | Fix incorrect TIP #532 filename, and add index |
|---|---|
| Downloads: | See separate download page |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
ede100eec65769d509874d02066fa7de |
| User & Date: | jan.nijtmans 2019-01-13 14:29:17.450 |
Context
|
2019-01-13
| ||
| 15:47 | New TIP #532 is in Draft state, not final check-in: e57f45f65b user: fvogel tags: trunk | |
| 14:29 | Fix incorrect TIP #532 filename, and add index check-in: ede100eec6 user: jan.nijtmans tags: trunk | |
| 14:25 | Update of TIP 532. check-in: e2821cfbab user: gcramer tags: trunk | |
Changes
Changes to index.json.
Changes to index.md.
Name change from tip/532,md to tip/532.md.