PR: 20500 Submitted by: maintainer
PR: 18544 Submitted by: maintainer
port, and perhaps others in the future. Activate tmake in devel/Makefile. Also made a COMMENT nit. PR: 17265 Submitted by: Roland Jesse <jesse@cs.uni-magdeburg.de>