These files indicate that you are using a rather old version of the release script from https://github.com/gap-system/ReleaseTools, which had a bug leading to this (in a nutshell: GNU sed and BSD sed are not compatible, and the tool expected the one, and produced these nonsense files with the other) Please update release to the latest version, so that future releases of this package don't suffer from this or other bugs in the old version. Thank you :-).
fingolfin
commented
5 years ago
These files indicate that you are using a rather old version of the
releasescript from https://github.com/gap-system/ReleaseTools, which had a bug leading to this (in a nutshell: GNU sed and BSD sed are not compatible, and the tool expected the one, and produced these nonsense files with the other) Please updatereleaseto the latest version, so that future releases of this package don't suffer from this or other bugs in the old version. Thank you :-).