On Mon, Apr 27, 2015 at 10:09:20AM +0200, Roberto E. Vargas Caballero wrote:
> I have applied a version of this pull request with short size.
Okay, thanks!
> Please, be careful with your commits, because this pull request and the other
> you sent have a lot of white tabs changes that are not needed.
Okay, I will be careful about that in the future. What's the general
process and ettiquete for submitting pull requestes, do we submit them to
solely to this discord server, or should they also be pushed via dropbox
for review?
Received on Mon Apr 27 2015 - 15:56:59 CEST