Is this project dead?
Is this project dead? There hasn't been any commits in the past 90 days, and the last release was months ago.
We are no longer offering accounts on this server. Consider https://gitlab.freedesktop.org/ as a place to host projects.
git.gnu.io is graciously hosted by the Free Software Foundation. https://donate.fsf.org