On 2014-08-11 09:01, Silvan Jegen wrote:

> Just for future reference: To discuss code changes, do you prefer
> opening a Github issue (with or without code) or should we send an 
> email
> to this list?

If you already have a patch and the change is not totally intrusive, 
please make a pull request.

> Maybe it would be best to automatically generate a mail to
> this dev list whenever a Github issue has been opened...

I agree. Do you know an easy way to set that up, or do we need to create 
a fake user that watches the issues?

Regards
  Daniel


------------------------------------------------------------------------------
_______________________________________________
Languagetool-devel mailing list
Languagetool-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/languagetool-devel

Reply via email to