Merge commit 'origin/master'

[build.git] / planetlab-k27-tags.mk

diff --git a/planetlab-k27-tags.mk b/planetlab-k27-tags.mk
index 96d9306..47f66a0 100644 (file)
--- a/planetlab-k27-tags.mk
+++ b/planetlab-k27-tags.mk
@@ -38,7 +38,7 @@ pyaspects-GITPATH             := git://git.planet-lab.org/pyaspects.git@pyaspects-0.4.1-0
 ejabberd-GITPATH               := git://git.planet-lab.org/ejabberd.git@ejabberd-2.1.3-2
 omf-GITPATH                     := git://git.onelab.eu/omf.git@omf-5.3-8
 ###
-sfa-GITPATH                    := git://git.planet-lab.org/sfa.git@sfa-1.0-9
+sfa-GITPATH                    := git://git.planet-lab.org/sfa.git@sfa-1.0-10
 nodeconfig-GITPATH             := git://git.planet-lab.org/nodeconfig.git@nodeconfig-5.0-3
 pypcilib-GITPATH               := git://git.planet-lab.org/pypcilib.git@pypcilib-0.2-9
 pyplnet-GITPATH                        := git://git.planet-lab.org/pyplnet.git@pyplnet-4.3-6