efnet.cs.hut.fi is gone
Merge branch 'maint'

* maint:
  efnet.cs.hut.fi is gone
Merge branch 'master' into next

* master:
  efnet.cs.hut.fi is gone