News: Deleted branches from cgit

orbifx 🦊 fox at
Tue Mar 2 22:44:43 GMT 2021

There is only the `master` branch on the Git server now. If you get Logarion using an opam pin please revise using:

	opam pin add logarion git://

Note any Draft commits are going to be amended, which means their commit hash will change.

More information about the Logarion mailing list