Merge pull request #7744 from TravisCardwell/TravisCardwell/ginger

Re-enable `ginger`
This commit is contained in:
Jens Petersen 2025-05-06 14:12:12 +08:00 committed by GitHub
commit e56cb0926b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -752,7 +752,7 @@ packages:
- monoidal-functors
"Tobias Dammers <tdammers@gmail.com> @tdammers":
- ginger < 0 # https://github.com/tdammers/ginger/issues/82
- ginger
- yeshql
"Yair Chuchem <yairchu@gmail.com> @yairchu":