ObjFW  Files in misc/ of 386962cb17b6d2d1

Files in directory /misc of check-in 386962cb17b6d2d1