Closed JoepdeJong closed 1 year ago
Resolves #266, #265
This PR is outdated but still has some good changes, maybe we should cherry-pick those to several separate, smaller PRs?
This PR is outdated but still has some good changes, maybe we should cherry-pick those to several separate, smaller PRs?
yes, that was indeed my plan. i will make this branch up to date and use this code when we migrate to the cloud.