ObjFW  Files in misc/ of 89fc3e69a807c72b

Files in directory /misc of check-in 89fc3e69a807c72b