Repository navigation

[ImgBot] Optimize images - #3521

Merged

mergify[bot] merged 1 commit into

mainfrom

Jul 15, 2026

Merged

[ImgBot] Optimize images#3521
mergify[bot] merged 1 commit into
mainfrom
imgbot

Mergify / Rule: automatic merge for ImgBot pull requests based on ci success (merge) succeeded Jul 15, 2026 in 0s

The pull request has been merged automatically

The pull request has been merged automatically at 6a93a00

View more details on Mergify