ObjFW  Files in misc/ of 74fe5209909dae22

Files in directory /misc of check-in 74fe5209909dae22