Closed Jasha10 closed 3 months ago
This PR modifies the text 'Ok 'Some Stuff -> 'Ok 'Some 'Stuff to be consistent with the text 'Ok ('Some 'Stuff) that occurs later in the same sentence.
'Ok 'Some Stuff
'Ok 'Some 'Stuff
'Ok ('Some 'Stuff)
This PR modifies the text
'Ok 'Some Stuff
->'Ok 'Some 'Stuff
to be consistent with the text'Ok ('Some 'Stuff)
that occurs later in the same sentence.