Natural sort

Miltos Allamanis · Miltos Allamanis · commit 8811e3166201 · 2022-03-11T14:26:00.000Z
diff --git a/tags.html b/tags.html
@@ -8,7 +8,7 @@
   {% assign ttags = publication.tags  %}  
   {% assign rawtags = rawtags | concat: ttags %}  
 {% endfor %}
-{% assign rawtags = rawtags | uniq | sort %}
+{% assign rawtags = rawtags | uniq | sort_natural %}
 
 <h1>Publications by Tag</h1>
 <p>
