userspace: change url for mini-rpc submodule

Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

userspace: change url for mini-rpc submodule
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>
70635a14 · Alessandro Rubini · dc4af77c · 70635a14
Commit 70635a14 authored Feb 13, 2017 by Alessandro Rubini
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

.gitmodules .gitmodules +1 -1

No files found.
--- a/.gitmodules
+++ b/.gitmodules
 [submodule "userspace/mini-rpc"]
 	path = userspace/mini-rpc
-	url = git://github.com/a-rubini/mini-rpc.git
+	url = git://github.com/rubini/mini-rpc.git
 [submodule "userspace/ppsi"]
 	path = userspace/ppsi
 	url = git://ohwr.org/white-rabbit/ppsi.git