ObjFW  Files in misc/ of 14117d73d795ed9b

Files in directory /misc of check-in 14117d73d795ed9b