[MirageOS-devel] deprecating 4.02?

[Mindy <mindy@xxxxxxxxxxxxxxxxxxx>]

Having just tripped over something available in 4.03 but not 4.02, I'm 
wondering whether we have users who are still dependent on 4.02*.  If 
not, I'd like to propose dropping support for it, so that we'd currently 
support only 4.03 (and 4.04 when it's out).  I'm also partially 
motivated by the need to shortly revisit the `opam` files for a number 
of Mirage libraries to express their dependencies on a mirage-types >= 
3.0 ; I'd prefer to do this once rather than more-than-once.
Thanks,
Mindy

* - Strictly speaking, 4.02.3

_______________________________________________
MirageOS-devel mailing list
MirageOS-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel