Sounds ok to me to change to GitHub issues. Craig
> On Apr 11, 2024, at 02:08, Christofer Dutz <[email protected]> wrote: > > Hi all, > > after seeing another jira account creation request, I thought: Should we not > simply switch to using github issues? > > Chris > Craig L Russell [email protected]
