mapinfo.date-array-length.patch
