I don't see why not, it'll be bikineev@'s call since he's the owner, cced. - Leszek
On Thu, Sep 18, 2025 at 12:40 PM Florian Loitsch <floit...@rivosinc.com> wrote: > I wonder if we could update the highway library. > It had a release last month, and a warning fix a few days ago. > (4201022df1c66193863b7d58fea8ac899bd56c45) > It's not really urgent, but the new version would allow the RISC-V build > to enable the highway library (after some minor modifications). > > I have tested with bc1ef144cdfd481f1fa2ebb69ccc1dd5107d3af0 on the build > bots, and it seems to work fine: > https://chromium-review.googlesource.com/c/v8/v8/+/6964175 > > -- > -- > v8-dev mailing list > v8-dev@googlegroups.com > http://groups.google.com/group/v8-dev > --- > You received this message because you are subscribed to the Google Groups > "v8-dev" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to v8-dev+unsubscr...@googlegroups.com. > To view this discussion visit > https://groups.google.com/d/msgid/v8-dev/CA%2B-a-b2ALHdmaeG%3DkP9hgbpz5oOZcoUCaJPKQdDJnQ87XTumBw%40mail.gmail.com > <https://groups.google.com/d/msgid/v8-dev/CA%2B-a-b2ALHdmaeG%3DkP9hgbpz5oOZcoUCaJPKQdDJnQ87XTumBw%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- -- v8-dev mailing list v8-dev@googlegroups.com http://groups.google.com/group/v8-dev --- You received this message because you are subscribed to the Google Groups "v8-dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to v8-dev+unsubscr...@googlegroups.com. To view this discussion visit https://groups.google.com/d/msgid/v8-dev/CAGxd1t_aL5SzwfA%2BLNqv%2Bj3FZ-iCp1pvNLOH0JNF3LnvM11aQw%40mail.gmail.com.
