Stale branches? #20
Description
Hi folks, I'm updating some old developments to CoqEAL , back in the day I used some branches such as paramcoq but now it seems that there are stale.
Maybe it'd be a good idea to clean these branches out?
{{ message }}