id summary reporter owner description type status priority milestone component version resolution keywords cc port 54634 smlnj @110.80: update to 110.81 SuperBo tobypeterson "SML/NJ 110.81 was released on May 1, 2017. Please update it to latest version. http://www.smlnj.org/dist/working/110.81/index.html" update closed Normal ports fixed smlnj