[wg-camlp4] extension_points merged in trunk

[Alain Frisch]

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.


-- Alain