ObjFW  Files in misc/ of 4320b1bf7dfc515e

Files in directory /misc of check-in 4320b1bf7dfc515e