ObjFW  Files in misc/ of 0b0995206ae05393

Files in directory /misc of check-in 0b0995206ae05393