ObjFW  Files in misc/ of 6ca56b4f15f819dc

Files in directory /misc of check-in 6ca56b4f15f819dc