Merge remote-tracking branch 'origin/pr/850'

This commit is contained in:
Julian Ospald 2023-12-02 18:42:22 +08:00
commit e214695a3e
No known key found for this signature in database
GPG Key ID: 4275CDA6A29BED43
2 changed files with 560 additions and 246 deletions

File diff suppressed because it is too large Load Diff

View File

@ -327,6 +327,8 @@ executable ghcup
, brick ^>=2.1
, transformers ^>=0.5
, vty ^>=6.0
, unix ^>=2.7
, optics ^>=0.4
if os(windows)
cpp-options: -DIS_WINDOWS