Closed rmar3a closed 1 year ago
@oschulte this pull request can be merged now if you want.
thank you Richard!
I've merged the pull request. It says that the build status is a fail. Strange because it seems to work on your commit.
Thank you for working on this!
Oliver
On Sun, Jun 25, 2023 at 2:14 AM rmar3a @.***> wrote:
@oschulte https://github.com/oschulte this pull request can be merged now if you want.
— Reply to this email directly, view it on GitHub https://github.com/sfu-cl-lab/FactorBase/pull/233#issuecomment-1605951889, or unsubscribe https://github.com/notifications/unsubscribe-auth/AD6VLAMDOUDMSTW37UNA5YLXM74EDANCNFSM6AAAAAAZS46ZOA . You are receiving this because you were mentioned.Message ID: @.***>