Open fingolfin opened 7 months ago
Open question: should this test the current release of FinInG? Or its master branch? Or perhaps both?
Open question: should this test the current release of FinInG? Or its master branch? Or perhaps both?