[Fsedu-developers] Is fsedu.org still operating?

[Richard Stallman]

The site fsedu.org, which is linked to from
http://www.gnu.org/education, was down as of recently.
I don't know whether that was temporary or permanent.

Is the site still meant to be operating?

I have cc'd the maintainer of http://www.gnu.org/education;
please cc your response to him too, so he can update that
page properly.