Skip to content

Backport inheritance fix to v0.2-dev#15

Merged
taion merged 1 commit into
v0.2-devfrom
diamond-backport
Jul 31, 2017
Merged

Backport inheritance fix to v0.2-dev#15
taion merged 1 commit into
v0.2-devfrom
diamond-backport

Conversation

@taion

@taion taion commented Jul 31, 2017

Copy link
Copy Markdown
Contributor

No description provided.

@taion taion merged commit f750ec8 into v0.2-dev Jul 31, 2017
@taion taion deleted the diamond-backport branch July 31, 2017 18:55
jquense added a commit that referenced this pull request Jan 29, 2019
jquense pushed a commit that referenced this pull request Jan 29, 2019
jquense added a commit that referenced this pull request Jan 29, 2019
jquense pushed a commit that referenced this pull request Jan 29, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

1 participant