Sort tags in natural order in the console. --- buildbot/status/web/console.py.orig 2015-04-21 00:53:41.000000000 -0500 +++ buildbot/status/web/console.py 2016-08-05 08:59:02.000000000 -0500 @@ -316,7 +316,7 @@ for tag in builderList: count += len(builderList[tag]) - tags = sorted(builderList.keys()) + tags = util.naturalSort(builderList.keys()) cs = []