Subject: [bug#28380] [PATCH] gnu: Add godot.

From: [email-masked] (Ludovic Courtès)
Date: Fri, 08 Sep 2017 17:45:32 +0200

Hi Peter,

Could you check how this compares to Chris’ submission at
<https://bugs.gnu.org/25908>?  Perhaps we simply need to merge things
from both.

Thanks in advance!

Ludo’.