ObjFW  Files in misc/ of fe62007081e3702d

Files in directory /misc of check-in fe62007081e3702d