Site will likely be offline for maintenance 23/24 April - more details soon
Following iterator updates from merge !112 (merged)
merged
By Andrew Heather on 2017-05-19T11:44:08 (imported from GitLab project)
mentioned in commit 15fe3f1d9b959f3acd34594073ccbab2ad354345
By Andrew Heather on 2017-05-19T11:44:08 (imported from GitLab project)