Subject: Re: [bug#37981] [PATCH] gnu: openttd: Update package.
From: Tobias Geerinckx-Rice <[email-masked]>
To: Josh Holland <[email-masked]>
Cc: [email-masked]
Date: Tue, 29 Oct 2019 20:04:03 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Josh Holland 写道：
> I can separate them out into separate commits and re-submit the 
> patch
> if that would be better.

Thanks for doing so; pushed (with forgotten Signed-off-by line) as 
532dba49ca7f04138c4eae3e4961a102c64da2a9 et al.

Kind regards,

T ‘I was too busy… testing’ G-R