ObjFW  Files in misc/ of fd477d1a542fdd9f

Files in directory /misc of check-in fd477d1a542fdd9f