ObjFW  Files in misc/ of cd829b4336e871d5

Files in directory /misc of check-in cd829b4336e871d5