From: bors[bot] <26634292+bors[bot]@users.noreply.github.com>
Date: Fri, 10 Feb 2023 09:47:36 +0000 (+0000)
Subject: Merge #1789
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bceb118bc2f542382591803d9727b8c199a44ddd;p=thirdparty%2Fgcc.git

Merge #1789

1789: Run workflow r=CohenArthur a=Parthib314

Fixes #1767

Co-authored-by: Parthib <94271200+Parthib314@users.noreply.github.com>
---

bceb118bc2f542382591803d9727b8c199a44ddd