Skip to content

Conversation

@jh0ker
Copy link
Member

@jh0ker jh0ker commented Feb 27, 2017

…operties

#507

@jh0ker jh0ker changed the title 🔨 Refactor Update.extract_ methods to Update.effective_ pr… Refactor Update.extract_ methods to Update.effective_ properties Feb 27, 2017
@jh0ker jh0ker mentioned this pull request Feb 27, 2017
@jh0ker jh0ker merged commit ff39e24 into master Mar 26, 2017
@jsmnbom jsmnbom deleted the effective-properties branch May 20, 2017 13:51
@github-actions github-actions bot locked and limited conversation to collaborators Aug 23, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants