This release update v.10.1.2 is for MS Windows only. It corrects a cutoff problem when printing to standard out.
Log in to post a comment.