Skip to content

line name to number map should be sorted

Changing the order of lines results in an new encoding key which is not strictly needed.

/cc @oozcelik