diff options
author | Ben Gamari <ben@smart-cactus.org> | 2017-09-05 06:20:53 -0400 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2017-09-05 06:49:55 -0400 |
commit | 5fa4ef3028dfded480f7d54e4c736862e8892223 (patch) | |
tree | c378560ccbaff9627f64036eaa87fcf70a25cb3c /doc/Makefile | |
parent | 815d2deb9c0222c916becccf8464b740c26255fd (diff) |
Account for "Remember the AvailInfo for each IE"
As of GHC commit f609374a55bdcf3b79f3a299104767aae2ffbf21 GHC retains the
AvailInfo associated with each IE. @alexbiehl has a patch making proper use of
this change, but this is just to keep things building.
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions