New Ticket     Tickets     Wiki     Browse Source     Timeline     Roadmap     Ticket Reports     Search

Ticket #20499 (closed enhancement: fixed)

Opened 4 years ago

Last modified 4 years ago

caml-json-wheel: combine pre-destroot phases

Reported by: ryandesign@… Owned by: anil@…
Priority: Normal Milestone:
Component: ports Version: 1.7.1
Keywords: Cc:
Port: caml-json-wheel

Description

caml-json-wheel has two pre-destroot phases. They can be combined into a single one, like I did for caml-ocamlnet in r54683. May I make the same change to caml-json-wheel?

Change History

comment:1 Changed 4 years ago by anil@…

Fine by me, go ahead.

comment:2 Changed 4 years ago by ryandesign@…

  • Status changed from new to closed
  • Resolution set to fixed

Thanks, committed in r54689.

Note: See TracTickets for help on using tickets.