Attached patches remove unnecessary source code. I've run "make check" against changed code.
"tla changes --diffs" output
Log in to post a comment.
"tla changes --diffs" output