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

Project 3 #96

Merged
merged 169 commits into from
Sep 24, 2019
Merged

Project 3 #96

merged 169 commits into from
Sep 24, 2019

Conversation

senier
Copy link
Member

@senier senier commented Sep 24, 2019

Merging project_3 into master. Issue #53 is still open, but everything else has been reviewed when merging into the project_3 branch. We will review and merge the finishing touches separately. For now, I want to have master in a presentable state (for people looking at the repository).

@senier senier merged commit 5464032 into master Sep 24, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants