On Fri, Jun 22, 2012 at 5:58 AM, Hans Dembinski <hans.dembinski@kit.edu> wrote:
Hi again,

I send this patch to the mailing list two weeks ago and did not get any response. If you reject it, could you please explain why or how I should improve?

Best regards.

Our apologies, there aren't that many of us.  I see that you followed our documentation for submitting a patch:


Looking at your patch, I think it makes sense to do what you did.  I only wonder if there are any other properties that should be taken care of here?  Color?  Linestyle? etc?


Ben Root

Note to self: we need to update the docs to describe how to do Pull Requests on GitHub.