> Any strong objections to dropping 4.01 support in Mirage libraries to allow > us to take advantage of PPX and drop camlp4?
With 4.03 almost out-of-the-door it makes sense to start dropping 4.01. _______________________________________________ MirageOS-devel mailing list [email protected] http://lists.xenproject.org/cgi-bin/mailman/listinfo/mirageos-devel
