ObjFW  Files in misc/ of 4ee6b746cdb034eb

Files in directory /misc of check-in 4ee6b746cdb034eb