Merge commit 'origin/master'

author root <root@blitz.inria.fr>

Sat, 26 Mar 2011 16:06:13 +0000 (17:06 +0100)

committer root <root@blitz.inria.fr>

Sat, 26 Mar 2011 16:06:13 +0000 (17:06 +0100)
author root <root@blitz.inria.fr>
Sat, 26 Mar 2011 16:06:13 +0000 (17:06 +0100)
committer root <root@blitz.inria.fr>
Sat, 26 Mar 2011 16:06:13 +0000 (17:06 +0100)
diff --cc onelab-k27-tags.mk
Simple merge
diff --cc planetlab-k27-tags.mk
Simple merge
author	root <root@blitz.inria.fr>
	Sat, 26 Mar 2011 16:06:13 +0000 (17:06 +0100)
committer	root <root@blitz.inria.fr>
	Sat, 26 Mar 2011 16:06:13 +0000 (17:06 +0100)
		1	2
onelab-k27-tags.mk	patch \|	diff1 \|	diff2 \|	blob \| history
planetlab-k27-tags.mk	patch \|	diff1 \|	diff2 \|	blob \| history