diff options
| author | Divam Narula <dfordivam@protonmail.com> | 2021-05-20 22:42:42 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-20 15:42:42 +0200 |
| commit | 212f5302995cae9884aff924f0d53597bd77e9c2 (patch) | |
| tree | eacf320f11294dabd02398526875f42cdd469ee1 /html-test/src | |
| parent | a1337c599ef7720b0482a25c55f11794112496dc (diff) | |
Update ref, the variables got renamed. (#1391)
This is due to ghc/ghc!5555 which caused a change in ModDetails in case of
NoBackend. Now the initModDetails is used to recreate the ModDetails from
interface and in-memory ModDetails is not used.
Diffstat (limited to 'html-test/src')
0 files changed, 0 insertions, 0 deletions