Skip to content

Conversation

@x-santiaga-x
Copy link
Contributor

No description provided.

@Byron
Copy link
Member

Byron commented Jan 28, 2021

Thanks a lot!

I made a mistake and accidentally amended to commit bffe076 which prevents GitHub to see that the commit is already in master. Thus this PR is merged despite not looking like it.

@Byron Byron closed this Jan 28, 2021
@Byron Byron added this to the v3.1.13 - Bugfixes milestone Jan 28, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants