Closed GoogleCodeExporter closed 9 years ago
The patch has been applied. Thanks!
I added you to the commit message for now. I will collect all people who
contributed to
a separate file at some point later. It is way overdue anyways.
Original comment by gergely.erdelyi
on 11 Dec 2007 at 5:14
Original issue reported on code.google.com by
felix.le...@googlemail.com
on 9 Dec 2007 at 9:00