JT 5b6156687e
Use partial_cmp and make -i case insensitive (#4498)
* Use partial_cmp and make -i case insensitive

* Insensitive sort multiple columns
2022-02-16 11:12:49 -05:00
..
2022-02-09 21:24:29 -05:00
2022-02-07 14:54:06 -05:00