Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Parents and children of check-in [3025e24d5d]
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 | |