Re: Tag Version 2.0.1 ?

[Ben Pfaff]

Done! I forgot that step in my release procedure.

On Sun, Mar 24, 2024 at 4:28 AM Friedrich Beckmann
<friedrich.beckm...@gmx.de> <blp-forw...@cs.stanford.edu> wrote:
>
> Hi Ben,
>
> could you tag the released version 2.0.1 in git?
>
> Cheers
>
> Fritz