Skip to content

Conversation

@juanjoDiaz
Copy link
Collaborator

No description provided.

@coveralls
Copy link

Coverage Status

Coverage remained the same at 100.0% when pulling 51dfae9 on juanjoDiaz:improve_default_header_for_getter into ffda9af on zemirco:master.

2 similar comments
@coveralls
Copy link

Coverage Status

Coverage remained the same at 100.0% when pulling 51dfae9 on juanjoDiaz:improve_default_header_for_getter into ffda9af on zemirco:master.

@coveralls
Copy link

Coverage Status

Coverage remained the same at 100.0% when pulling 51dfae9 on juanjoDiaz:improve_default_header_for_getter into ffda9af on zemirco:master.

@knownasilya knownasilya merged commit 590d19a into zemirco:master May 26, 2019
@juanjoDiaz juanjoDiaz deleted the improve_default_header_for_getter branch September 9, 2019 16:43
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