June 14, 2013
7:29 a.m.
On Jun 14, 2013, at 7:52 AM, Marcus Denker <marcus.denker@inria.fr> wrote:
On Jun 14, 2013, at 4:13 AM, Sean P. DeNigris <sean@clipperadams.com> wrote:
This bug is a major PITA. Pleeeeease review and integrate the fixes!!!
Yes, it would be nice if more people would help reviewing things. I feel like I am the only one.
that's so cruel :'( :)
Marcus