The white space character extension caused a bug for Linux systems which is now fixed.
Log in to post a comment.