Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

release: v1.2.0 #177

Merged
merged 3 commits into from Jul 29, 2019
Merged

release: v1.2.0 #177

merged 3 commits into from Jul 29, 2019

Conversation

slint
Copy link
Member

@slint slint commented Jul 29, 2019

No description provided.

@slint slint added this to In progress in Elasticsearch 7 Sprint (July 22 - Aug 2) via automation Jul 29, 2019
@slint slint requested a review from lnielsen July 29, 2019 11:44
@slint slint moved this from In progress to Pending review in Elasticsearch 7 Sprint (July 22 - Aug 2) Jul 29, 2019
@slint slint force-pushed the release branch 2 times, most recently from 8ed5fd0 to 942da99 Compare July 29, 2019 11:50
@slint slint merged commit 62522a2 into inveniosoftware:master Jul 29, 2019
Elasticsearch 7 Sprint (July 22 - Aug 2) automation moved this from Pending review to Done Jul 29, 2019
@slint slint deleted the release branch July 31, 2019 00:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
No open projects
Development

Successfully merging this pull request may close these issues.

None yet

1 participant