commit | 3783cf8353735ec7fdbbfae115f27bacb38fda38 | [log] [tgz] |
---|---|---|
author | Christopher Friedt <cfriedt@fb.com> | Mon Jul 18 10:51:20 2022 -0400 |
committer | Stephanos Ioannidis <root@stephanos.io> | Tue Jul 19 00:20:13 2022 +0900 |
tree | 64e9ef22e30e6e14981929c4182aa2ad24ba15dd | |
parent | b92144ca3b94ceb1a07b916ba1a55315466bccaa [diff] |
scripts: release: list_backports: use older python dict merge method In Python versions >= 3.9, dicts can be merged with the `|` operator. This is not the case for python versions < 3.9, and the simplest way is to use `dict_c = {**dict_a, **dict_b}`. Signed-off-by: Christopher Friedt <cfriedt@fb.com>