diff options
author | Marek Fajkus <marek.faj@gmail.com> | 2024-01-06 13:43:21 +0100 |
---|---|---|
committer | Marek Fajkus <marek.faj@gmail.com> | 2024-01-06 13:43:21 +0100 |
commit | d9ea88c55787c54e3ad7ffc44a798648c06befc7 (patch) | |
tree | 008f36f0f25a139f899823f6405877623fbedaee | |
parent | b481fa58d5fa16f2675a1fe016c5c5b7cb847755 (diff) | |
parent | b40d1bc8d707763321b389044c3fc4ed024c6b8b (diff) |
Merge branch 'master' into elm-ghc-update