Merge branch 'relibc' of https://gitlab.redox-os.org/redox-os/redox into relibc

2018-09-15 07:25:56 -06:00 · 2018-09-15 07:25:56 -06:00 · e56edfdb08
parent 580287392b b2cff5ffe5
commit e56edfdb08
2 changed files with 2 additions and 1 deletions
--- a/ci.toml
+++ b/ci.toml
@ -87,6 +87,7 @@ randd = {}
 redoxfs = {}
 #redox-ssh = {}
 relibc = {}
+ripgrep = {}
 rs-nes = {}
 #rust = {}
 rust64 = {}
--- a/2
+++ b/2
@ -1 +1 @@
-Subproject commit 3286f7e4b60fb65b77097074c520feac5fa596de
+Subproject commit 6f4957952d48e69f52d06a0519061bd75df99f79