It works again!
> Anfang der weitergeleiteten Nachricht:
>
> Von: build...@pspp.org
> Betreff: Buildbot success in GNU pspp CI on debian-buster-amd64
> Datum: 2. September 2020 um 08:21:51 MESZ
> An: friedrich.beckm...@gmx.de
>
> The Buildbot has detected a restored build on builder debian-buster-amd64
> while building GNU pspp CI.
> Full details are available at:
> http://caeis.etech.fh-augsburg.de:8010/#builders/4/builds/55
>
> Buildbot URL: http://caeis.etech.fh-augsburg.de:8010/
>
> Worker for this Build: hsa-worker
>
> Build Reason: <unknown>
> Blamelist: Ben Pfaff <b...@cs.stanford.edu>
>
> Build succeeded!
>
> Sincerely,
> -The Buildbot
>
