Discussion of development and patch submission.
1 post • Page 1 of 1
I just recompiled the most recent version on my Ubuntu laptop and I noticed as it was doing configure that it still had v12 in the output. Any chance that it can be updated to 13.1? This is as minor as it gets, but I figure it's worth it for consistency.