PR #1395 feat(tactic/doc_blame): Use is_auto_generated

feat(tactic/doc_blame): Use is_auto_generated #1395

mergify merged 2 commits into master from doc-blame-fix

feat(tactic/doc_blame): Use is_auto_generated

cec2a8c2

PatrickMassot requested a review 6 years ago

jcommelin approved these changes on 2019-09-04

jcommelin added ready-to-merge

Merge branch 'master' into doc-blame-fix

74022636

mergify merged b079298d into master 6 years ago

mergify deleted the doc-blame-fix branch 6 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone