Yeah, let's do it like this. "Fixes" pushed to the master and stable branch when you read this. Thanks for reporting the problem and insisting, Stephen!
Well, thank YOU for solving it! Can you give me the git command that I need to issue to clone the current stable 14.9 version?
Stephen Isard
