@@ -1,3 +0,0 @@
-// 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.