Subject: Re: [bug#38606] [WIP SMLnj 0/1] Add SMLnj.

From: Chuan Wei Foo <[email-masked]>
Date: Sun, 12 Dec 2021 16:37:09 +0000

Closing this issue.
smlnj was added in commit f0adb870ac0ea70bf6fb7a68f8782833017342cd.