This would be a bug. Please file bugs to openafs-info@openafs.org.
Or ideally openafs-b...@openafs.org _______________________________________________ OpenAFS-info mailing list OpenAFS-info@openafs.org https://lists.openafs.org/mailman/listinfo/openafs-info