Little patch to update the port to the latest version. [off-topic] The e-mail adres used in this PR is different from the e-mail adres of the maintainer of the port, but we are the same person. The e-mail adres in the port (ronald@cs.vu.nl) is temporarily unavailable.
State Changed From-To: open->closed Committed, thanks!