Linux configure version update
Posted: Mon 18 Dec, 2017 10:01 pm
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.