Control: affects -1 + mlton-runtime-x86-64-linux-gnu On 2017-03-09 07:00, Wesley W. Terpstra wrote: > Thanks for the report. > > I probably won't make a new upload to fix this issue alone, but will > be sure to fix it with the next upload.
No problem. This problems seems to exist in more packages built from src:mlton, so take care to fix it everywhere. Andreas
