ObjFW  Files in misc/ of 55f5b88d26ce0b48

Files in directory /misc of check-in 55f5b88d26ce0b48