◐ Shell
clean mode source ↗

Message 356957 - Python tracker

Is there a consensus about fixing this? By the way, this isn't valid in the current tokenizer too. 
1,0-1,2:            NAME           'iÌ'
1,2-1,3:            ERRORTOKEN     '‡'
1,4-1,5:            OP             '='
1,6-1,7:            NUMBER         '5'
1,7-1,8:            NEWLINE        '\n'