Hi Emilio, Sebastian, On Fri, Jun 19, 2026 at 1:29 PM Emilio Pozuelo Monfort <[email protected]> wrote: > > And erlang has migrated. Let's close this.
Thank you for the help! The transition is indeed complete now (if some bugs will reveal themselves, we'll deal with them on an individual basis). Cheers! -- Sergei Golovan

