Closed monicacecilia closed 1 year ago
Would be better to either use the suggesting feature on GitHub pull requests just make the update (use best judgement).
Now there are 3 open issues/PRs and it's hard to figure out what the dependncies are and if any can currently be merged
All done :)
Please consider making the following updates to the main conference website and to our conference site on EasyChair.