Skip to content

make tag browsing case-insensitive and unique #1138

make tag browsing case-insensitive and unique

make tag browsing case-insensitive and unique #1138

Triggered via pull request February 11, 2025 10:52
@ffontffont
synchronize #1807
issue1312
Status Success
Total duration 3m 54s
Artifacts

unit-tests.yml

on: pull_request
Fit to window
Zoom out
Zoom in