Skip to content
This repository has been archived by the owner on Jul 29, 2019. It is now read-only.

End of live #4306

Merged
merged 6 commits into from
Jul 28, 2019
Merged

End of live #4306

merged 6 commits into from
Jul 28, 2019

Conversation

mojoaxel
Copy link
Member

@mojoaxel mojoaxel commented Jun 8, 2019

see #4259 for details

@mojoaxel mojoaxel force-pushed the endOfLive branch 3 times, most recently from 1f4b274 to 5b559e3 Compare July 21, 2019 18:25
@mojoaxel
Copy link
Member Author

@yotamberk I would like to merge this to master as one of the last commits. What do you think? Could you give me an review?

@mojoaxel mojoaxel mentioned this pull request Jul 27, 2019
@mojoaxel mojoaxel added the Docs label Jul 27, 2019
@yotamberk yotamberk merged commit 0b2a54a into master Jul 28, 2019
@yotamberk yotamberk deleted the endOfLive branch July 28, 2019 18:48
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants