Closed GoogleCodeExporter closed 9 years ago
Thanks! Generally we'd prefer getting pull requests via git or GitHub, but I'll
merge this anyway if Mike is ok with it.
Original comment by andreas....@gmail.com
on 15 Oct 2014 at 6:20
Yes that's fine although the formatting is wrong. Andreas, feel free to merge,
thanks!
Original comment by mh.in.en...@gmail.com
on 16 Oct 2014 at 10:32
The patch didn't apply, probably because it was based on an old version. I
finally applied it by hand, fixing the minor formatting issues on the way.
Original comment by andreas....@gmail.com
on 16 Oct 2014 at 12:47
Original issue reported on code.google.com by
bake3...@gmail.com
on 15 Oct 2014 at 6:04Attachments: