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.
git.gnu.io has moved to IP address 126.96.36.199 -- please double check where you are logging in.
git.gnu.io is graciously hosted by the Free Software Foundation. https://donate.fsf.org