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

Last Week in Pony - May 31, 2020 #576

Closed
Theodus opened this issue May 24, 2020 · 7 comments
Closed

Last Week in Pony - May 31, 2020 #576

Theodus opened this issue May 24, 2020 · 7 comments

Comments

@Theodus
Copy link
Contributor

Theodus commented May 24, 2020

No description provided.

@Theodus Theodus added the last-week-in-pony Special label applied to the current active LWIP issue label May 24, 2020
@ponylang ponylang deleted a comment from ponylang-main May 25, 2020
@ponylang ponylang deleted a comment from ponylang-main May 25, 2020
@ponylang ponylang deleted a comment from ponylang-main May 25, 2020
@ponylang ponylang deleted a comment from ponylang-main May 25, 2020
@ponylang-main
Copy link

Version 0.1.2 of ponylang-mode has been released.

See the release notes for more details.

@ponylang-main
Copy link

The 'Add maybe to itertools' RFC has been updated to 'ready for vote'
See the RFC for more details.

@aturley
Copy link
Member

aturley commented May 26, 2020

Audio from the May 26, 2020 Pony development sync call is available.

@ponylang-main
Copy link

Version 0.1.3 of ponylang-mode has been released.

See the release notes for more details.

@aturley
Copy link
Member

aturley commented May 27, 2020

There is now a jobs stream in Zulip where folks can post Pony-related job opportunities.

@ponylang-main
Copy link

Version 0.1.4 of ponylang-mode has been released.

See the release notes for more details.

@ponylang-main
Copy link

Version 0.1.5 of ponylang-mode has been released.

See the release notes for more details.

@Theodus Theodus closed this as completed May 31, 2020
@SeanTAllen SeanTAllen removed the last-week-in-pony Special label applied to the current active LWIP issue label Nov 26, 2023
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

No branches or pull requests

4 participants