Replace generated files by autogen.sh

gap-packages / guava

GAP package guava - computations relative to error-correcting codes

https://gap-packages.github.io/guava

Other

13 stars 7 forks source link

Replace generated files by autogen.sh #61

Closed fingolfin closed 2 years ago

fingolfin commented 2 years ago

The script autogen.sh is automatically invoked by ReleaseTools.

osj1961 commented 2 years ago

I'm concerned that many automated checks are saying "failed." Merging anyway and will re-do checks in "master"

fingolfin commented 2 years ago

Next time perhaps better to not merge and request that the submitter fix their PR 😄 . I think I know what my mistake was and how to fix it, but now master is already broken.. ah well