mirror of
https://github.com/servo/servo
synced 2026-05-12 09:56:50 +02:00
Very often, we have consecutive @dependabot PRs that bumps wayland stuff
individually. This often results in wasted effort: the empty commit here
7414a5ff9a which has non-empty PR, as it
is just bumped by the parent PR.
---------
Signed-off-by: Euclid Ye <yezhizhenjiakang@gmail.com>