ObjFW  Files in misc/ of 211234ea7017e239

Files in directory /misc of check-in 211234ea7017e239