Prefer [ p ] && [ q ] as [ p -a q ] is not well-defined#1
Merged
cweiske merged 1 commit intomogic-le:mainfrom May 19, 2025
Merged
Prefer [ p ] && [ q ] as [ p -a q ] is not well-defined#1cweiske merged 1 commit intomogic-le:mainfrom
cweiske merged 1 commit intomogic-le:mainfrom