Thanks, I didn't know it exists. I don't know, though, if I should duplicate them there. Maybe somebody who's already worked on plan9port could give me an advice?
------------------------------------------ 9fans: 9fans Permalink: https://9fans.topicbox.com/groups/9fans/T11a1c56500abf76a-M9da2421967ca3e1e7d76b1ef Delivery options: https://9fans.topicbox.com/groups/9fans/subscription
