Re: [PATCH] Fix building for Android

On 28 March, 2014 - Jef Driesen wrote:

No need to redo. I already did it myself. Patch has been pushed.

Fantastic! //Anton -- Anton Lundin +46702-161604