ObjFW  Files in misc/ of 6344bdd11ed31cb4

Files in directory /misc of check-in 6344bdd11ed31cb4