Skip to content

Changes for release v1_3.#119

Merged
BenRKarl merged 1 commit into
masterfrom
release-v1_3-8f46f72720a6700b65ed
May 23, 2019
Merged

Changes for release v1_3.#119
BenRKarl merged 1 commit into
masterfrom
release-v1_3-8f46f72720a6700b65ed

Conversation

@BenRKarl
Copy link
Copy Markdown
Contributor

No description provided.

@BenRKarl BenRKarl self-assigned this May 23, 2019
@BenRKarl BenRKarl requested review from AnashOommen and wihl May 23, 2019 16:36
Copy link
Copy Markdown
Contributor

@wihl wihl left a comment

Choose a reason for hiding this comment

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

LGTM

@BenRKarl BenRKarl merged commit ad43a92 into master May 23, 2019
@BenRKarl BenRKarl deleted the release-v1_3-8f46f72720a6700b65ed branch May 23, 2019 17:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants