Re: Keep MLton from being kicked out of Debian?

I'm not a Debian expert, but I don't yet see any concrete progress in 
this discussion thread for the compilation issue that I reported:
     https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=837567

 From earlier discussion on this mailing list, I got the impression that 
there may be a trivial technical fix, but the blocking factor could be 
finding someone able to authorize an update to the Debian package 
system.  Is that right?  If so, does it make sense for me to work on 
finding such a person?

------------------------------------------------------------------------------
Developer Access Program for Intel Xeon Phi Processors
Access to Intel Xeon Phi processor-based developer platforms.
With one year of Intel Parallel Studio XE.
Training and support from Colfax.
Order your platform today.http://sdm.link/xeonphi