diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-12-11 15:23:18 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-12-11 15:23:18 +0100 |
| commit | 9570a94d331facc8961be204d7a3010d33146f97 (patch) | |
| tree | 2cfffa3dae21b50e349c40a76e5757a386a02273 /.gitignore | |
| parent | 46e48ad854f4c5f47b1a4dbf4059bf59e0bea7df (diff) | |
Fix scastToMixed
The previous implementation failed when any of sh' was Unknown, which
makes no sense.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions