ObjFW  Files in misc/ of 21bcf92ecdb9c4de

Files in directory /misc of check-in 21bcf92ecdb9c4de