Update version in URL for Iris appendix (!321) · Merge requests · Iris / Iris · GitLab

Paolo G. Giarrusso requested to merge Blaisorblade/iris:patch-readme into master Nov 01, 2019

The README still links to the 3.1 appendix.

For easier maintenance, I'd consider (in addition or alternative) to link to a new http://plv.mpi-sws.org/iris/appendix-master.pdf, always matching the latest version.