update the Forwarded field of the upstream patches
Patches meant for the upstream source have been requested for pull at githup ( https://github.com/Singular/Sources/pulls ).
parent
6b7feec8
Please register or sign in to comment
Patches meant for the upstream source have been requested for pull at githup ( https://github.com/Singular/Sources/pulls ).