Commit in (zn_poly)

[Antonio Rojas]

    Date: Sunday, February 12, 2023 @ 10:52:54
  Author: arojas
Revision: 1400027

No longer needed, dead upstream

Deleted:
  zn_poly/