New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[discussion] Minor leftovers from milestone1 #2

Open

phyro opened this issue Nov 22, 2021 · 0 comments

Member

phyro commented Nov 22, 2021 •

edited

To avoid blocking progress on milestone 1, we merged it as there were only a few minor remarks some of which need to be discussed further.

Leftovers from milestone 1

I suggest these are addressed here and we get them resolved in milestone 2.

phyro mentioned this issue

Merged

phyro mentioned this issue

Merged

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment