Summarize
v7.1.3-rc.3: Fix gen-logs.sh - gitignore bug (#16328) — brisk.news
