userspace: moved mini-rpc submodule to Gitlab, performance fixes

7d95a717 · Tomasz Wlostowski · 552ead75 · 7d95a717 · 1333a31c
Commit 7d95a717 authored Sep 06, 2019 by Tomasz Wlostowski
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

.gitmodules .gitmodules +1 -1

mini-rpc userspace/mini-rpc +1 -1

No files found.
--- a/.gitmodules
+++ b/.gitmodules
 [submodule "userspace/mini-rpc"]
 	path = userspace/mini-rpc
-	url = git://github.com/rubini/mini-rpc.git
+	url = https://gitlab.cern.ch/twlostow/mini-rpc.git
 [submodule "userspace/ppsi"]
 	path = userspace/ppsi
 	url = ../ppsi.git
--- a/mini-rpc @ 1333a31c
+++ b/mini-rpc @ 1333a31c
-Subproject commit 28dff05538f48b5eb68228e5a6db7712bf8b9795
+Subproject commit 1333a31c98a1b928d1fa1ea8749e86fd3e62c8d2