Singular/Sources — Issue #73: Old/sre.tst due to pLDegOrig??!?
Author: malex984
Created: 2012-02-23 15:20:03+00:00
State: open

see my comment:
https://github.com/Singular/Sources/commit/a3aa3f3540f7d9604a809fe2b268a4115e7aef9a#commitcomment-1002766