Closed yomimono closed 7 years ago
V1 is now Mirage_types, and V1_LWT is now Mirage_types_lwt, as of MirageOS version 3.0.0.
The modifications in CHANGES are not needed
CHANGES
Right indeed, although why are we carrying around a ton of commented-out code? I'll submit another (human-generated) PR to remove it.
V1 is now Mirage_types, and V1_LWT is now Mirage_types_lwt, as of MirageOS version 3.0.0.