From 3bfe90e755701b7ca93f412c8bec617ce543f03d Mon Sep 17 00:00:00 2001
From: Lars Eggert <lars@eggert.org>
Date: Mon, 23 Oct 2023 22:08:56 +0200
Subject: [PATCH] fix: Add "numeric" option to localecompare (#6520)

Fixes #6493
---
 ietf/static/js/list.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/ietf/static/js/list.js b/ietf/static/js/list.js
index 5e4b8d76a..d7e9dc944 100644
--- a/ietf/static/js/list.js
+++ b/ietf/static/js/list.js
@@ -14,7 +14,8 @@ function text_sort(a, b, options) {
     // sort by text content
     return prep(a, options).localeCompare(prep(b, options), "en", {
         sensitivity: "base",
-        ignorePunctuation: true
+        ignorePunctuation: true,
+        numeric: true
     });
 }