Merge pull request #25001 from DaanDeMeyer/repart-filter
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Tue, 15 Nov 2022 19:07:24 +0000 (20:07 +0100)
committerGitHub <noreply@github.com>
Tue, 15 Nov 2022 19:07:24 +0000 (20:07 +0100)
commit2b0cff04697029912914d040dbe1adadee6ea990
tree6c535efe9d102cca96b84094a2bc2fd69ac635f8
parentbef69ae8780da17a807881d078247259170f868e
parent56bb434e9b33d74bdd445ac0e7d263254ad93e5e
Merge pull request #25001 from DaanDeMeyer/repart-filter

repart: Add --include/--exclude-partitions