Skip to content

Conversation

@NicolasBuquet
Copy link
Contributor

Fix #777

Linked to Element issue element-hq/element-ios#7424

@NicolasBuquet NicolasBuquet linked an issue Mar 29, 2023 that may be closed by this pull request
@odelcroi
Copy link
Member

odelcroi commented Mar 30, 2023

IMHO it can be pushed to element

@NicolasBuquet
Copy link
Contributor Author

@odelcroi Pushed to Element : element-hq/element-ios#7462

@NicolasBuquet NicolasBuquet force-pushed the 777-input-command-should-not-be-auto-corrected branch from a8e0b10 to 0222974 Compare April 3, 2023 07:58
@NicolasBuquet NicolasBuquet merged commit da99be7 into develop Apr 3, 2023
@NicolasBuquet NicolasBuquet deleted the 777-input-command-should-not-be-auto-corrected branch April 3, 2023 08:19
@NicolasBuquet NicolasBuquet restored the 777-input-command-should-not-be-auto-corrected branch April 3, 2023 08:28
@NicolasBuquet NicolasBuquet deleted the 777-input-command-should-not-be-auto-corrected branch April 3, 2023 08:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Input command should not be auto-corrected

4 participants