ObjFW  Files in misc/ of 089d52ca9af72ed1

Files in directory /misc of check-in 089d52ca9af72ed1