Merge branch 'master' of ssh://git.sv.gnu.org/srv/git/parallel
commitad5ae6171338cc97d801552a67d56df2fc21d308
authorOle Tange <ole@tange.dk>
Fri, 28 Dec 2018 11:50:45 +0000 (28 12:50 +0100)
committerOle Tange <ole@tange.dk>
Fri, 28 Dec 2018 11:50:45 +0000 (28 12:50 +0100)
tree201584ef3674b04f1254bbd91aee46bc914a79bb
parenta51c54dafe6894851f62ac1ed859259fc98ac5eb
parent41a40a1304b92206859d061fa1bb2e22d9cfc196
Merge branch 'master' of ssh://git.sv.gnu.org/srv/git/parallel
doc/release_new_version