ObjFW  Files in misc/ of 9babc44b9176a3fe

Files in directory /misc of check-in 9babc44b9176a3fe