ObjFW  Files in misc/ of 523aea1c7b3198eb

Files in directory /misc of check-in 523aea1c7b3198eb