[Mono-dev] If you want me to push/pull-request that...

[Rob Wilkens]

Re: The patches i submitted on the mailing list which was based on
guesses from looking at StackTrace's.. If someone wants me to submit
that by pushing it to github then submitting a pull request, let me
know.  I probably won't get to that until much later in the day (at
least a few hours later), but let me know if i should do this.  I
realize it would then have to be reviewed at the pull request level
before being accepted or rejected.

-Rob