tree ce2bf217225a5131299e76b6228cf6623fe015ea
parent 7722b47db1deb01e7140ed3ab191afe0c5748164
author Marc Kupietz <kupietz@ids-mannheim.de> 1666627997 +0200
committer Marc Kupietz <kupietz@ids-mannheim.de> 1666703801 +0200

Handle tab-separated ints in numeric secondary sort

Change-Id: Ie1444e15022a043a6ded838740b45ed61957f4ce