diff options
author | Alec Theriault <alec.theriault@gmail.com> | 2018-11-15 13:48:13 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-15 13:48:13 -0800 |
commit | 0b379984f7898ab0656f71f05fb0163a6a2ddb2c (patch) | |
tree | c3cb0470898f44d66797f1ce3868d56d4aa639bb /.arclint | |
parent | 88c17946c9dfba6736e56660f566d21bebefa7c9 (diff) | |
parent | 936229572252c8c8545c89fcefd267e89005b8b0 (diff) |
Merge pull request #970 from alpmestan/alp/fix-promotionflag
Follow GHC HEAD's HsTypes.Promoted -> BasicTypes.PromotionFlag change
Diffstat (limited to '.arclint')
0 files changed, 0 insertions, 0 deletions