ObjFW  Files in misc/ of d3b3fd8845befe0f

Files in directory /misc of check-in d3b3fd8845befe0f