diff --git a/releng/run_all_releng b/releng/run_all_releng index 7e2598bd..df235cea 100755 --- a/releng/run_all_releng +++ b/releng/run_all_releng @@ -1,6 +1,7 @@ #!/bin/bash # Copyright 2011 George Danchev +# Copyright 2011 Thomas Schmitt # Licensed under GNU GPL version 2 or later set -e