- Update to 7.2 [1] - Remove unnecessary LICENSE_FILE - Add DOCS to options PR: ports/180427 Submitted by: Alex Samorukov <samm os2.kiev.ua> (maintainer)