ObjFW  Files in misc/ of 6bb25d33ac3e19eb

Files in directory /misc of check-in 6bb25d33ac3e19eb