ObjFW  Files in misc/ of 18f1572e357eb922

Files in directory /misc of check-in 18f1572e357eb922