Revision 7ae5d703
ID | 7ae5d7034e9d801c301615ae312eb4bcf7496166 |
Parent | c258f110 |
Child | 2ac2e420 |
One more ghc 7.6 fix
This is only in master, so needed to be fixed separately.
Signed-off-by: Iustin Pop <iustin@google.com>
Reviewed-by: Michael Hanselmann <hansmi@google.com>
Files
- added
- modified
- copied
- renamed
- deleted