Skip to content

Conversation

@MusikAnimal
Copy link
Member

@MusikAnimal MusikAnimal commented Nov 16, 2018

Copy link

@aezell aezell left a comment

Choose a reason for hiding this comment

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

I didn't test but the change looks good.

@MusikAnimal
Copy link
Member Author

I tested in the MariaDB console. Just run the query that's in the source. I'm assuming this is OK to merge. I shall deploy now!

@MusikAnimal MusikAnimal merged commit 35d67fc into master Nov 16, 2018
@MusikAnimal MusikAnimal deleted the log-comments branch November 16, 2018 23:52
@MusikAnimal
Copy link
Member Author

Actually, I can't deploy. I'm not a member of database-reports

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.

2 participants