-
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
Such changes should not be pushed to master before they are finished (this doesn't pass distcheck). This reverts commit 9aaa638b.