[hoc-users] maintenance?

[Jan B. <bro...@gm...>]

Hi,

I’d like to know if Hoc is still maintained

Thx,
Jan