Hello,
I am the maintainer of micro in Debian and thus here. I'll try to get this fixed in sometime. Thanks!
Hello,
I am the maintainer of micro in Debian and thus here. I'll try to get this fixed in sometime. Thanks!