> This would be a bug. Please file bugs to openafs-info@openafs.org. Or ideally openafs-bugs@openafs.org