// File left here for archival purposes. // It serves no purpose, since the fix for the pre-iOS 10 clock_gettime() // call has already been merged upstream.
