Commit 7a5bc172bb41ded17ec70ce22f964b5f5ef100a3

Thomas de Grivel 2018-10-28T11:17:27

update ironclad

diff --git a/repo.manifest b/repo.manifest
index 25ab81a..4f2a64b 100644
--- a/repo.manifest
+++ b/repo.manifest
@@ -65,7 +65,6 @@
 (github "fukamachi" "smart-buffer")
 (github "fukamachi" "trivial-utf-8")
 (github "fukamachi" "xsubseq")
-(github "glv2" "ironclad")
 (github "gwkkwg" "trivial-backtrace")
 (github "hankhero" "cl-json")
 (github "jdz" "rfc2388")
@@ -129,6 +128,7 @@
 (github "rpav" "cl-autowrap")
 (github "rpav" "fast-io")
 (github "sellout" "external-program")
+(github "sharplispers" "ironclad")
 (github "sharplispers" "parse-number")
 (github "sharplispers" "split-sequence")
 (github "sionescu" "bordeaux-threads")
@@ -144,6 +144,7 @@
 (github "thodg" "less-lexer")
 (github "thodg" "less-parser")
 (github "thodg" "lessp")
+(github "thodg" "positional")
 (github "thodg" "repo")
 (github "thodg" "str")
 (github "tpapp" "ffa")