Skip to content
This repository has been archived by the owner on Oct 17, 2022. It is now read-only.

Warn against use of new_edits, closes #390 #640

Merged
merged 1 commit into from Mar 29, 2021
Merged

Warn against use of new_edits, closes #390 #640

merged 1 commit into from Mar 29, 2021

Conversation

wohali
Copy link
Member

@wohali wohali commented Mar 29, 2021

Closes #390

Copy link
Contributor

@nickva nickva left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

+1

@wohali wohali merged commit d95508d into main Mar 29, 2021
@wohali wohali deleted the new-edits branch March 29, 2021 20:17
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.

behaviour of new_edits=false is not well documented
2 participants