"Kevin Oberman" <oberman(a)es.net> writes:
Since so few people are likely to have IPv6 installed and since it
appears to clearly be a bug in the IPv6 supplied file, I don't see
any reason to "fix" anything, but a caveat might be in
order. (Though I'm not too sure it's worth even that.)
I think adding an entry to PROBLEMS would be fine.