-
Mike Hibler authored
Unfortunately, doesn't give the obvious result for sharks since we changed sh01 -> sh1, so no they are ordered: sh1, sh10 ... sh19, sh2, sh20, sh3, ...
f5dac55c
Unfortunately, doesn't give the obvious result for sharks since we changed sh01 -> sh1, so no they are ordered: sh1, sh10 ... sh19, sh2, sh20, sh3, ...