ObjFW  Files in misc/ of 9ad332a3eaa5a2e4

Files in directory /misc of check-in 9ad332a3eaa5a2e4