• Morris Jette's avatar
    Revert commit efa83a02 · c1dde86c
    Morris Jette authored
    The previous commit obviously fixed a problem, but introduced a different
    set of problems. This will be pursued later, perhaps in version 16.05.
    c1dde86c
To find the state of this project's repository at the time of any of these versions, check out the tags.