diff -r 6b03ce9b02c7 -r 625df1eb7873 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Sun Nov 24 15:45:32 2019 +0100
+++ b/Admin/components/components.sha1	Sun Nov 24 22:54:42 2019 +0100
@@ -219,6 +219,7 @@
 9f0e9cd10df4c3383b063eb076e8b698ca50c3d0  polyml-5.8.1-20191101.tar.gz
 f46deb909d645ac8c140968e4d32b5763beb9add  polyml-5.8.1-20191113.tar.gz
 36a40a981b57daae0463d14940a8edf6fa1af179  polyml-5.8.1-20191114.tar.gz
+525b05536b08c11a1eae943fe6818a8622326084  polyml-5.8.1-20191124.tar.gz
 d1fd6eced69dc1df7226432fcb824568e0994ff2  polyml-5.8.tar.gz
 49f1adfacdd6d29fa9f72035d94a31eaac411a97  polyml-test-0a6ebca445fc.tar.gz
 2a8c4421e0a03c0d6ad556b3c36c34eb11568adb  polyml-test-1236652ebd55.tar.gz