Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
repl: revert multiline history #24804
So far the multiline history caused a lot of problems and the current logic is not suitable at all as such. It changes the actual content of the history and should not be used at all.
I struggle a lot with my history at the moment as it often forgets entries and similar and until a proper solution is found this should be reverted.
We discussed some possibilities how to properly implement this feature in #24231.