PR #1882 feat(tactic/use): apply exists_prop after use

feat(tactic/use): apply exists_prop after use #1882

mergify merged 5 commits into master from useexistsprop

feat(tactic/use): apply exists_prop after use

07f53cbf

digama0 approved these changes on 2020-01-15

digama0 added ready-to-merge

Merge branch 'master' into useexistsprop

83f58e6d

robertylewis commented on 2020-01-15

robertylewis removed ready-to-merge

cipher1024 assigned

digama0 6 years ago

gebner added awaiting-author

change implementation

b9a5941b

Merge remote-tracking branch 'blessed/master' into useexistsprop

e3ab9d8c

robertylewis removed awaiting-author

robertylewis added awaiting-review

robertylewis requested a review from

digama0 6 years ago

digama0 approved these changes on 2020-01-30

jcommelin removed awaiting-review

jcommelin added ready-to-merge

Merge branch 'master' into useexistsprop

3f22b140

mergify merged 1bd23bf1 into master 6 years ago

mergify deleted the useexistsprop branch 6 years ago

Reviewers

digama0

robertylewis

Assignees

digama0

Labels

ready-to-merge

Milestone

No milestone