Subject: Re: [PATCH] maint: Create an ISO9660 installation image in the 'release' target.
From: Danny Milosavljevic <[email-masked]>
To: [email-masked]
Date: Sat, 19 Aug 2017 04:42:06 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Pushed to master as d79013f66a98dca24e11193c43e78364043d0c16 with minimal changes (to the generated filename to keep it the same as before).  This means that our releases can now also be booted from DVD.