Skip to content

Conversation

@zonuexe
Copy link
Member

@zonuexe zonuexe commented Jan 7, 2019

No description provided.

@zonuexe zonuexe merged commit 8a05211 into master Jan 7, 2019
@zonuexe zonuexe deleted the add/extension-list branch January 7, 2019 01:21
@kermorgant kermorgant restored the add/extension-list branch January 7, 2019 14:25
@kermorgant
Copy link
Contributor

kermorgant commented Jan 7, 2019

@zonuexe in order to put that change also in develop, isn't the easiest to also open a pull request from the add/extension-list branch targeting develop ?

sorry for the noise, should have paid more attention

@kermorgant kermorgant deleted the add/extension-list branch January 7, 2019 14:56
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.

3 participants