Merge branch 'wip/dueno/valgrind' into 'master'

author Daiki Ueno <ueno@gnu.org>

Fri, 19 Feb 2021 10:06:11 +0000 (10:06 +0000)

committer Daiki Ueno <ueno@gnu.org>

Fri, 19 Feb 2021 10:06:11 +0000 (10:06 +0000)
author Daiki Ueno <ueno@gnu.org>
Fri, 19 Feb 2021 10:06:11 +0000 (10:06 +0000)
committer Daiki Ueno <ueno@gnu.org>
Fri, 19 Feb 2021 10:06:11 +0000 (10:06 +0000)
diff --cc .gitignore
Simple merge
diff --cc .gitlab-ci.yml
Simple merge
diff --cc configure.ac
Simple merge
author	Daiki Ueno <ueno@gnu.org>
	Fri, 19 Feb 2021 10:06:11 +0000 (10:06 +0000)
committer	Daiki Ueno <ueno@gnu.org>
	Fri, 19 Feb 2021 10:06:11 +0000 (10:06 +0000)
		1	2
.gitignore	patch \|	diff1 \|	diff2 \|	blob \| history
.gitlab-ci.yml	patch \|	diff1 \|	diff2 \|	blob \| history
configure.ac	patch \|	diff1 \|	diff2 \|	blob \| history