From: Donatas Abraitis Date: Mon, 18 Sep 2023 11:45:51 +0000 (+0300) Subject: Merge pull request #14433 from FRRouting/mergify/bp/stable/8.5/pr-14418 X-Git-Tag: docker/8.5.4~15 X-Git-Url: https://git.puffer.fish/?a=commitdiff_plain;h=2e9e90007d202cc600660ff922cdcd5b5a7ed36f;p=matthieu%2Ffrr.git Merge pull request #14433 from FRRouting/mergify/bp/stable/8.5/pr-14418 tools: make --quiet actually suppress output (backport #14418) --- 2e9e90007d202cc600660ff922cdcd5b5a7ed36f