- Fixed #9729 and #10193
This commit fixes an issue where the string splitting function was
handling characters in the input string improperly. We adjusted the use
of the `take_while` function to calculate the length of the numeric
prefix, rather than directly splitting the string, thus correctly
splitting the string into a numeric prefix part and the remaining part
5e44748677Hans committed on 4/8/2024, 6:05:03 PM· committed by GitHubparentd2bf80c