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.

Sign up for GitHub

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

Jump to bottom

Unbreak logs filters #2741

Merged
merged 1 commit into from
Oct 9, 2019
Merged

Unbreak logs filters #2741

merged 1 commit into from
Oct 9, 2019

Conversation

Gaetanbrl
Copy link
Contributor

@Gaetanbrl Gaetanbrl commented Oct 7, 2019 •
edited

This PR was created to repair broken logs filters on /console/manager/#!/logs page.
Link to #2740

tonio
tonio approved these changes Oct 9, 2019
View reviewed changes
Copy link
Contributor

@tonio tonio left a comment

Choose a reason for hiding this comment

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

👍

@fvanderbiest fvanderbiest merged commit abcdad8 into georchestra:master Oct 9, 2019
@fvanderbiest fvanderbiest added this to the 19.09 milestone Oct 9, 2019
@fvanderbiest fvanderbiest added this to In progress in CRAIG via automation Oct 9, 2019
@landryb landryb moved this from In progress to Done in CRAIG Oct 10, 2019
@Gaetanbrl Gaetanbrl deleted the issue-2740 branch October 16, 2019 09:37
@fvanderbiest fvanderbiest modified the milestones: 19.09, 19.12 Oct 22, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@tonio tonio tonio approved these changes

Assignees
No one assigned
Labels
None yet
Projects
CRAIG
  
Done
Milestone
20.0.0
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@Gaetanbrl @tonio @fvanderbiest