Hi,
I'm noticing there are quite a few branches in the gretl git repo and I
believe some of them are no longer needed. For example:
- alt-mpi-errorif: the action there happened in October 2021, I think it
can be deleted, agreed?
- signrSVAR: I know I'm responsible for this one, but for various
reasons nothing is happening there - I'm inclined to delete this as
well, and a new branch can be opened when the time comes.
- jump-table: No action anymore this year, and I think I remember that
it was a failed experiment. OK to delete?
- golden_slen and alt_steplen: I believe one of them is still needed,
but both?
thanks
sven