Timeline

Login

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