Re: [MacPorts] #15172: magic 7.5.135 new portfile