Skip to content

Conversation

jrieken
Copy link
Member

@jrieken jrieken commented Nov 29, 2019

This PR fixes #43768

@jrieken jrieken requested a review from mjbvz November 29, 2019 14:10
@jrieken
Copy link
Member Author

jrieken commented Nov 29, 2019

@mjbvz This API has already been discussed but please give it a quick read and thought

@jrieken jrieken self-assigned this Nov 29, 2019
@jrieken jrieken added this to the November 2019 milestone Nov 29, 2019
@jrieken jrieken merged commit d57b853 into master Dec 3, 2019
@jrieken jrieken deleted the joh/finalWill branch December 3, 2019 08:50
@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.

Allow extensions to participate in file rename/move operations
2 participants