Tagging module PLCAPI - PLCAPI-dummynet-11

merged changeset 8463 for properly handling plcsh scripts options

diff --git a/PLCAPI.spec b/PLCAPI.spec
index 8554ccb..04164b0 100644 (file)
--- a/PLCAPI.spec
+++ b/PLCAPI.spec
@@ -10,7 +10,7 @@
 %define name PLCAPI
 # this branch was created from tag PLCAPI-4.2-2 
 %define version 4.2
-%define taglevel 10
+%define taglevel 11
 
 %define release %{taglevel}%{?pldistro:.%{pldistro}}%{?date:.%{date}}
 
@@ -102,6 +102,9 @@ rm -rf $RPM_BUILD_ROOT
 %{_bindir}/refresh-peer.py*
 
 %changelog
+* Wed Sep 17 2008 Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr> - PLCAPI-dummynet-11
+- merged changeset 8463 for properly handling plcsh scripts options
+
 * Wed Sep 10 2008 Thierry Parmentelat <thierry.parmentelat@sophia.inria.fr> - PLCAPI-dummynet-10
 - Improvements in the dummy net boxes area
 - fix GetPlcRelease