ObjFW  Files in misc/ of a72f602c2a5e89ad

Files in directory /misc of check-in a72f602c2a5e89ad