core 109.28.00-rc1
core 109.28.00
Merge branch 'core-109.28.00' of git://github.com/janestreet/opam-repository into janestreet-core-109.28.00
remove obsolete endian snapshot, now integrated in 4.1
remove now-unnecessary mirage switches
remove short-paths snapshot, now integrated into 4.1 branch fully
Merge pull request #785 from janestreet/core-109.28.00

core 109.28.00-rc1
point the 4.01.0dev+fp branch at the right branch
point the 4.01.0dev at the correct branch
add 4.02.0dev frame pointer variant
add 4.02.0dev+trunk (without frame pointer) variant
improve descriptions of the 4.1 switches
Merge branch 'janestreet-core-109.28.00'