2016-04-04 19:30 GMT+02:00 Paul Benedict <[email protected]>: > Why aren't they going to our issues list? I don't think they should be > going to our "dev" list. Can we submit a ticket with infrastructure to > change the destination?
Are we allowed to reply to issues@ list? Right now replying in a GitHub thread post the same message as a comment under PR in GitHub. Regards -- Łukasz + 48 606 323 122 http://www.lenart.org.pl/ --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
