Bug#1061476: Transition slot for elpi

2024-02-09 Thread julien . puydt
Hi, Le vendredi 09 février 2024 à 10:19 +0100, Sebastian Ramacher a écrit : > Hi Julien > > On 2024-02-09 10:06:28 +0100, julien.pu...@gmail.com wrote: > > Hi, > > > > is there a particular problem with what I'm proposing? I checked > > and > > didn't see any collision with an ocaml transition

Bug#1061476: Transition slot for elpi

2024-02-09 Thread Sebastian Ramacher
Hi Julien On 2024-02-09 10:06:28 +0100, julien.pu...@gmail.com wrote: > Hi, > > is there a particular problem with what I'm proposing? I checked and > didn't see any collision with an ocaml transition or some such. Until the time_t transition is done, we won't process other transition. Normal

Bug#1061476: Transition slot for elpi

2024-02-09 Thread julien . puydt
Hi, is there a particular problem with what I'm proposing? I checked and didn't see any collision with an ocaml transition or some such. Thanks, J.Puydt