search

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

PackageInfo.g: drop unknown PostalAddress fields #94

Closed fingolfin closed 8 months ago

fingolfin commented 8 months ago

This field is optional, so just dropping it seems better.