Hi everyone, There's a minor annoyance in the master git tree, which rears its head on Windows. Both the TODO.IPv6 and README.IPv6 have a little brother called *.ipv6 (note the capitalisation). On Windows, this is the same filename.
Could someone closer to the subject merge/rename these files (I'm not entirely sure what needs to be done here?) Thanks, Adriaan de Jong
