* kernel-2.6.8-1.521.2.10.planetlab
- [PL #4227] CKRM: divide by zero error (share inialization problem)
- [PL #4233] deleting vserver can cause kernel crash
* vnet-0.2-14.planetlab
- rebuild
* proper-0.3-20.planetlab
- fix file descriptor leak in SIGHUP handler
- fixed bug where dead child processes may not get reaped
- ulogd-1.02-4.planetlab
- rebuild
#
# Default tags
-INITIAL := planetlab-3_0-rc11
-TAG := planetlab-3_0-rc11
+INITIAL := planetlab-3_0-rc12
+TAG := planetlab-3_0-rc12
#
# kernel