Skip to content
This repository has been archived by the owner on Mar 9, 2022. It is now read-only.

Update 2018 edition #5

Merged
merged 1 commit into from
Oct 2, 2020
Merged

Update 2018 edition #5

merged 1 commit into from
Oct 2, 2020

Conversation

johtani
Copy link
Member

@johtani johtani commented Oct 1, 2020

Closes #4

@johtani johtani added the enhancement New feature or request label Oct 1, 2020
@johtani johtani requested a review from mosuka October 1, 2020 03:48
Copy link
Member

@mosuka mosuka left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@mosuka mosuka merged commit b5d9271 into master Oct 2, 2020
@johtani johtani deleted the 2018-edition branch October 2, 2020 07:35
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Update 2018 edition
2 participants