fix previous move that had gone wrong after I accidentally mixed f21 and f12

[build.git] / nornet-tags.mk

diff --git a/nornet-tags.mk b/nornet-tags.mk
index 5e68b3c..814f137 100644 (file)
--- a/nornet-tags.mk
+++ b/nornet-tags.mk
@@ -85,6 +85,6 @@ myplc-GITPATH                   := git://git.onelab.eu/myplc.git@myplc-5.3-2
 
 #
 sfa-BRANCH                     := geni-v3
-sfa-GITPATH                     := git://git.onelab.eu/sfa.git@sfa-3.1-9
+sfa-GITPATH                     := git://git.onelab.eu/sfa.git@sfa-3.1-13
 #
-tests-GITPATH                   := git://git.onelab.eu/tests.git@tests-5.3-7
+tests-GITPATH                   := git://git.onelab.eu/tests.git@tests-5.3-8