Closed Mithilesh-create closed 11 months ago
Please rebase on dev, then this can be merged.
Please check if confilicts are resolved before merging.
Please format everything using julia --project=.formatting -e 'using Pkg; Pkg.resolve(); include(".formatting/format_all.jl")'
.
There also seem to be a few renames missing; please check you got everything. The merge seems fine though
closes #15