2 commits

Author	SHA1	Message	Date
MarcoFalke	aaaaad6ac9	scripted-diff: Bump copyright of files changed in 2019 ... -BEGIN VERIFY SCRIPT- ./contrib/devtools/copyright_header.py update ./ -END VERIFY SCRIPT-	2019-12-30 10:42:20 +13:00
MarcoFalke	facb416ad5	ci: Add valgrind run	2019-12-10 19:37:37 -05:00