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

Comments

Merge #331, #332, #333, #334, #335, #336, #337#345

Merged
smowton merged 30 commits intogithub:mainfrom
gagliardetto:from-331-to-337
Sep 21, 2020
Merged

Merge #331, #332, #333, #334, #335, #336, #337#345
smowton merged 30 commits intogithub:mainfrom
gagliardetto:from-331-to-337

Conversation

@gagliardetto
Copy link
Contributor

@gagliardetto gagliardetto commented Sep 20, 2020

Combining #331, #332, #333, #334, #335, #336, #337 together.

Before closing all those in favor of this one, I'd like @smowton to confirm they are all good to go, first. Thanks.

@smowton smowton marked this pull request as ready for review September 21, 2020 08:31
@smowton smowton merged commit 6770c74 into github:main Sep 21, 2020
@gagliardetto
Copy link
Contributor Author

Cool, thanks!

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