ObjFW  Files in misc/ of 6fc7fddef1a0b1e6

Files in directory /misc of check-in 6fc7fddef1a0b1e6