October was a busy month for us, since almost everyone of us was busy. Nevertheless, we've managed to do some stuff!



Resolved Issues:

Merged Pull Requests:

New Issues: