Subject: bug#29716: 25.1; Wrong brackground-mode on gnome-terminal

From: Eli Zaretskii <[email-masked]>
Date: Fri, 15 Dec 2017 10:52:20 +0200

> From: Noam Postavsky <[email-masked]>
> Date: Thu, 14 Dec 2017 21:47:45 -0500
> Cc: [email-masked]
> 
> I think the attached should do the trick then.

Thanks, this is okay for the release branch, assuming that it fixes
the problem.