> i cannot find a plan9port maillist, so i am asking here. it's called plan9port-dev and it's on google groups:
https://groups.google.com/forum/#!forum/plan9port-dev ------------------------------------------ 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/Teef4e32e6f6c10de-M1d6b3a480cfecfb3a249bd28 Delivery options: https://9fans.topicbox.com/groups/9fans/subscription
