Merge pull request #819 from pavel-odintsov/pavel/suppress_a

author Wouter Wijngaards <wcawijngaards@users.noreply.github.com>

Fri, 20 Jan 2023 15:18:05 +0000 (16:18 +0100)

committer GitHub <noreply@github.com>

Fri, 20 Jan 2023 15:18:05 +0000 (16:18 +0100)
author Wouter Wijngaards <wcawijngaards@users.noreply.github.com>
Fri, 20 Jan 2023 15:18:05 +0000 (16:18 +0100)
committer GitHub <noreply@github.com>
Fri, 20 Jan 2023 15:18:05 +0000 (16:18 +0100)
diff --cc doc/example.conf.in
Simple merge
diff --cc doc/unbound.conf.5.in
Simple merge
diff --cc util/configparser.y
Simple merge
author	Wouter Wijngaards <wcawijngaards@users.noreply.github.com>
	Fri, 20 Jan 2023 15:18:05 +0000 (16:18 +0100)
committer	GitHub <noreply@github.com>
	Fri, 20 Jan 2023 15:18:05 +0000 (16:18 +0100)
		1	2
doc/example.conf.in	patch \|	diff1 \|	diff2 \|	blob \| history
doc/unbound.conf.5.in	patch \|	diff1 \|	diff2 \|	blob \| history
util/configparser.y	patch \|	diff1 \|	diff2 \|	blob \| history