Check-in [3025e24d5d]

Login

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview
Comment:Vote done: 3 x YES (JN, DGP, KBK), 0 x NO, 0 x PRESENT
Downloads: See separate download page
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA3-256: 3025e24d5de814fb7350cab6186108a8b93b35e3681c983d0420586993169c6d
User & Date: jan.nijtmans 2018-04-20 13:07:31.025
Context
2018-04-22
15:56
TIP #496 accepted 6/0/0: YES: 6 (Fellows, Griffin, Kenny, Landers, Nijtmans, Vogel). NO: -. PRESENT: -. check-in: db99228e7f user: fvogel tags: trunk
2018-04-20
13:07
Vote done: 3 x YES (JN, DGP, KBK), 0 x NO, 0 x PRESENT check-in: 3025e24d5d user: jan.nijtmans tags: trunk
08:03
Indent fix check-in: b12bd21782 user: dkf tags: editorial, trunk
Changes
Unified Diff Side-by-Side Diff Patch
Changes to index.json.
Changes to index.md.
Changes to tip/389.md.