Skip to content
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.

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

Issues discovered late during Conway development #570

Open
WhatisRT opened this issue Sep 13, 2024 · 2 comments
Open

Issues discovered late during Conway development #570

WhatisRT opened this issue Sep 13, 2024 · 2 comments

Comments

@jmchapman
Copy link

@williamdemeo can you add the tickets you're working on as a comment and perhaps they should added to this list

@williamdemeo
Copy link
Contributor

williamdemeo commented Sep 19, 2024

@jmchapman

Lately I've been working on #467, which is not on this list, but Andre requested I work on that after finishing #537.

As for the issues on this list:

Andre has completed #490 (though the PR has fallen behind master), and it seems he is working on #491.

That leaves the following: #511 #545 #571.

I agreed to work on #571 as Alexey asked me to add it to my backlog. I plan to work on it as soon as I get #467 closer to completion.

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

No branches or pull requests

3 participants