##// END OF EJS Templates
diffs: fixed outdated files in pull-requests re-using the filediff raw_id for anchor generation....
diffs: fixed outdated files in pull-requests re-using the filediff raw_id for anchor generation. In some cases when there are no longer any files this caused error since filediff wasn't present. In addition this generated wrong ids since it used a last-defined attribute on a for loop. Fixes #5567

File last commit:

r3843:957c2342 merge default
r3937:cc125265 default
Show More
.release.cfg
33 lines | 403 B | text/x-ini | IniLexer
[DEFAULT]
done = false
[task:bump_version]
done = true
[task:rc_tools_pinned]
done = true
[task:fixes_on_stable]
done = true
[task:pip2nix_generated]
done = true
[task:changelog_updated]
done = true
[task:generate_api_docs]
done = true
[release]
state = prepared
version = 4.11.6
[task:updated_translation]
[task:generate_js_routes]
[task:updated_trial_license]
[task:generate_oss_licenses]