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