Merge branch 'master' into '1881'

AFS-727: update to openafs-1.8.8.1

See merge request !20
17 jobs for 1881 in 17 minutes and 16 seconds (queued for 38 seconds)