Skip to content

Improved behaviour of dealing with deleted files (for #11642)#22506

Merged
bpasero merged 9 commits intomasterfrom
ben/11642
Mar 13, 2017
Merged

Improved behaviour of dealing with deleted files (for #11642)#22506
bpasero merged 9 commits intomasterfrom
ben/11642

Conversation

@bpasero
Copy link
Member

@bpasero bpasero commented Mar 13, 2017

No description provided.

@mention-bot
Copy link

@bpasero, thanks for your PR! By analyzing the history of the files in this pull request, we identified @egamma and @sandy081 to be potential reviewers.

@bpasero bpasero self-assigned this Mar 13, 2017
@bpasero bpasero added this to the March 2017 milestone Mar 13, 2017
@bpasero bpasero merged commit 2dabc3b into master Mar 13, 2017
@bpasero bpasero deleted the ben/11642 branch March 13, 2017 06:55
@github-actions github-actions bot locked and limited conversation to collaborators Mar 27, 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.

3 participants