Permalink
Commits on Nov 9, 2017
  1. Editorial: change "has" to "have"

    ibz096 authored and annevk committed Nov 9, 2017
    Fixes #3206.