[autshift] New package, version 0.1.0#798
Open
gap-package-distribution-bot[bot] wants to merge 1 commit intomainfrom
Open
[autshift] New package, version 0.1.0#798gap-package-distribution-bot[bot] wants to merge 1 commit intomainfrom
gap-package-distribution-bot[bot] wants to merge 1 commit intomainfrom
![gap-package-distribution-bot[bot]](https://avatars.githubusercontent.com/u/5344223?v=4&size=32){kind=avatar}