4 commits

Author	SHA1	Message	Date
MarcoFalke	fa488f131f	scripted-diff: Bump copyright headers ... -BEGIN VERIFY SCRIPT- ./contrib/devtools/copyright_header.py update ./ -END VERIFY SCRIPT-	2020-04-16 13:33:09 -04:00
Sebastian Falbesoner	332f373a9d	[scripts] previous_release: improve failed download error message ... before: ------------------------------------------------------------ $ contrib/devtools/previous_release.sh -r -b v0.9.5 [...] gzip: stdin: not in gzip format tar: Child returned status 1 tar: Error is not recoverable: exiting now ------------------------------------------------------------ now: ------------------------------------------------------------ $ contrib/devtools/previous_release.sh -r -b v0.9.5 [...] curl: (22) The requested URL returned error: 404 Not Found Download failed. ------------------------------------------------------------	2020-03-25 09:06:48 +01:00
Sjors Provoost	c7ca630896	[scripts] support release candidates of earlier releases	2020-02-11 21:46:22 +01:00
Sjors Provoost	ae379cf7d1	[scripts] build earlier releases	2020-02-11 19:37:37 +01:00