Hi
Dominik,
Are you still planning to take over mksh in Debian? If not, I would like to take ownership of #76401 and maintain the package myself. I actively use ksh on Debian, and I don't want to see the packages go unmaintained. Also, I have been talking with upstream about some improvements, and I want to be in a position where I can apply patches.
Thanks!