NodeManager-1.7-11
object 6c4f0a19c25ec7fb3215baaf691eb320b6ab8d7c
authorroot <root@cassidy.cs.princeton.edu>
Mon, 9 Jun 2008 15:24:29 +0000 (15:24 +0000)
taglevel on the 1.7-11 tag had remained 10 - also moving the trunk to 1.8-0 as 1.7 is confusing