ObjFW  Files in misc/ of f4277f8c60ddceb5

Files in directory /misc of check-in f4277f8c60ddceb5