ObjFW  Files in misc/ of f8e24e08f503b102

Files in directory /misc of check-in f8e24e08f503b102