ObjFW  Files in src/platform/ of ded1893e807b782e

Files in directory src/platform of check-in ded1893e807b782e