[wg-camlp4] extension_points merged in trunk
alain.frisch at lexifi.com
Mon Sep 9 12:17:42 BST 2013
On 09/09/2013 12:15 PM, Anil Madhavapeddy wrote:
> Great news! I'll do some garbage collection on the OPAM switches
> then -- we no longer need the 4.01.0dev+extension_points switch, so
> I'll remove that in favour of the vanilla 4.02.0dev trunk unless you
> have any objections.
It's definitely a good idea. The branch is indeed closed and remaining
work will be done on the trunk.
More information about the wg-camlp4