Update to Ink 0.8.

Review Request #14425 — Created May 6, 2025 and submitted — Latest diff uploaded

Information

Djblets
release-5.x

Reviewers

This release includes improvements to Ink.Menu, including header
items, disabled items, and smarter placement to prevent off-screen
menus.

Successfully installed the new dependency and built new JavaScript.

Commits

Files