bogomips.org dead, see unicorn-public@yhbt.net

[Eric Wong]

This is only intended for
https://mail-archive.com/unicorn-public@bogomips.org
readers to ensure they get continuity to https://yhbt.net/unicorn-public/
and https://mail-archive.com/unicorn-public@yhbt.net