new kernel version string, remove printk's, fix ipv6 format in web100/spec_ascii
authorroot <root@rainbow.cs.princeton.edu>
Wed, 6 Feb 2013 22:43:34 +0000 (17:43 -0500)
committerroot <root@rainbow.cs.princeton.edu>
Wed, 6 Feb 2013 22:43:34 +0000 (17:43 -0500)

No differences found