Apparently there has been some confusion over this, but Tom made it clear, 7.2 is no longer supported. I’ve moved around the documentation on the website, and Marc has updated the FTP servers as well, to better reflect this. Hopefully no one is still using 7.2 out there.