Subject: Re: bug#24168: Offloading builds does not honor --keep-failed
From: Marius Bakke <[email-masked]>
To: [email-masked]
Date: Tue, 07 Apr 2020 21:29:48 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

This is a feature, not a bug; and the other points discussed have been
resolved.  Closing!