Skip to content
This repository was archived by the owner on Sep 2, 2023. It is now read-only.

Updates per 2019-06-19 meeting #343

Merged
merged 2 commits into from
Jul 1, 2019
Merged

Updates per 2019-06-19 meeting #343

merged 2 commits into from
Jul 1, 2019

Conversation

GeoffreyBooth
Copy link
Member

Look I took notes! (Sorta.)

@GeoffreyBooth GeoffreyBooth merged commit 9672f7c into master Jul 1, 2019
@GeoffreyBooth GeoffreyBooth deleted the 2019-06-19-meeting branch July 1, 2019 22:10
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants