ObjFW  Files in misc/ of 027f5e11cf78473b

Files in directory /misc of check-in 027f5e11cf78473b