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.
Is this project dead? There hasn't been any commits in the past 90 days, and the last release was months ago.
git.gnu.io is graciously hosted by the Free Software Foundation. https://donate.fsf.org