-
Alexandre Duret-Lutz authored
Such changes should not be pushed to master before they are finished (this doesn't pass distcheck). This reverts commit 9aaa638b.
498b44f7
To find the state of this project's repository at the time of any of these versions, check out the tags.