|
From: | Prafulla Giri |
Subject: | [bug#43154] closed (Re: [bug#43154] Fix childsplay .desktop file) |
Date: | Tue, 1 Sep 2020 22:05:17 +0545 |
Your bug report
#43154: Fix childsplay .desktop file
which was filed against the guix-patches package, has been closed.
The explanation is attached below, along with your original report.
If you require more details, please reply to 43154@debbugs.gnu.org.
--
43154: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=43154
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
---------- Forwarded message ----------
From: Efraim Flashner <efraim@flashner.co.il>
To: Prafulla Giri <pratheblackdiamond@gmail.com>
Cc: 43154-done@debbugs.gnu.org
Bcc:
Date: Tue, 1 Sep 2020 16:55:08 +0300
Subject: Re: [bug#43154] Fix childsplay .desktop file
Good catch!
I added a copyright line for you to the top of the file and pushed it.
Congrats! Now you're a maintainer too! :)
--
Efraim Flashner <efraim@flashner.co.il> אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D 14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted
---------- Forwarded message ----------
From: Prafulla Giri <pratheblackdiamond@gmail.com>
To: guix-patches@gnu.org
Cc:
Bcc:
Date: Tue, 1 Sep 2020 19:22:27 +0545
Subject: Fix childsplay .desktop fileEsteemed maintainers,The package definition of `childsplay` as it currently stands creates a buggy .desktop file. It points to out/bin/childsplay.py instead of out/bin/childsplay. The attached patch fixes the (minor) issue.Thank you
[Prev in Thread] | Current Thread | [Next in Thread] |