Signed-off-by: Uli Schlachter <psychon@znc.in>
The difference to table.sort() is that this is guranteed to be stable. Signed-off-by: Uli Schlachter <psychon@znc.in>