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

One more proposal for Taija #2084

Merged
merged 1 commit into from
Apr 3, 2024
Merged

Conversation

pat-alt
Copy link
Contributor

@pat-alt pat-alt commented Apr 3, 2024

We've had one more enthusiastic candidate reach out to us, who came up with his own proposal based on one of the outstanding issues. For the sake of completeness, I thought I'd add a high-level overview to the website.

@pat-alt
Copy link
Contributor Author

pat-alt commented Apr 3, 2024

@mschauer I've tentatively added your name as a co-mentor here as well. Please let me know if that's alright or if you'd rather have that removed for now.

@mschauer
Copy link
Contributor

mschauer commented Apr 3, 2024

Alright, thank you!

@pat-alt
Copy link
Contributor Author

pat-alt commented Apr 3, 2024

@TheCedarPrince last one, I promise 😉 the actual proposal was submitted yesterday

@TheCedarPrince TheCedarPrince merged commit 5f1fef9 into JuliaLang:main Apr 3, 2024
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants