New comment by leahneukirchen on void-packages repository

https://github.com/void-linux/void-packages/pull/46951#issuecomment-1799311735

Comment:
You can hotlink `https://github.com/MLton/mlton/commit/f074a9a41b5338303271cd50f17078595fef35ff.patch`