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

Remove options menu #5746

Merged
merged 1 commit into from
Nov 12, 2017
Merged

Remove options menu #5746

merged 1 commit into from
Nov 12, 2017

Conversation

PabstMirror
Copy link
Contributor

No description provided.

@PabstMirror PabstMirror added ignore-changelog Release Notes: Excluded kind/cleanup Release Notes: **CHANGED:** labels Nov 12, 2017
@PabstMirror PabstMirror added this to the 3.12.0 milestone Nov 12, 2017
@commy2
Copy link
Contributor

commy2 commented Nov 12, 2017

Travis died?

@bux
Copy link
Member

bux commented Nov 12, 2017

Done. Your build exited with 0.

restarted ... now it works

@jonpas
Copy link
Member

jonpas commented Nov 12, 2017

Seems like problems with webhooks returning, takes a while since yesterday.

@thojkooi
Copy link
Contributor

I think this should end up in the change log.

@jonpas jonpas removed the ignore-changelog Release Notes: Excluded label Nov 12, 2017
@bux bux changed the title Cleanup options menu Remove options menu Nov 12, 2017
@PabstMirror PabstMirror merged commit f9b89cd into master Nov 12, 2017
@PabstMirror PabstMirror deleted the cleanupOptionsMenu branch November 12, 2017 17:34
BaerMitUmlaut pushed a commit that referenced this pull request Aug 5, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
kind/cleanup Release Notes: **CHANGED:**
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants