10 May
2008
10 May
'08
8:15 a.m.
Hello,
Good call. I've pushed a somewhat simplified patch that should have the same effect.
Cheers, Marijn