Re: Do we have a guile-1.8 branch?

[Noah Lavine]

> Yes, please remove the ‘release-1.8’ branch.
>
> Something like ‘git push origin :release-1.8’ should work (search for
> “delete” in git-push(1).)
>
> Thanks,
> Ludo’.

Oh, I never knew how to do that. It's done now.

Thanks,
Noah