Merge pull request #8709 from BasLaa/cabal-run-RTS-warning
commit7d4b33f58cbdc435d557f4dc7e7a949f04e98086
authormergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
Mon, 13 Feb 2023 08:34:16 +0000 (13 08:34 +0000)
committerGitHub <noreply@github.com>
Mon, 13 Feb 2023 08:34:16 +0000 (13 08:34 +0000)
treecd5173d30b6f14b9f6d28b7ba3daab561da7e253
parentcbc8c996bff43843dc5c0c3d92d83ae40c47793d
parentbabf2e2170ce16e17047a8e54d8073627628c88b
Merge pull request #8709 from BasLaa/cabal-run-RTS-warning

cabal run +RTS warning