Control: tags -1 patch
Control: forwarded -1 https://github.com/GaloisInc/cryptol/issues/542
--
Hi,
Adrian opened a bug upstream about this issue :
https://github.com/GaloisInc/cryptol/issues/542
Upstream committed a fix as Edmund explained :
https://github.com/GaloisInc/cryptol/commit/3caa3a8e829ed2ce23cb1a734ecf37f4e74de659
I understand it's done a bit differently than what Adrian proposed.
At least, it compiles on ppc64el.
Regards,
F.
Description: Fix FTBFS due to missing comment/description
After that commit https://phabricator.kde.org/D16867, a description is
needed in .desktop files.
The keyword actually looked for by desktoptojson converter utility is
"Comment=" .
Author: Frédéric Bonnard
---
This patch header follows DEP-3: http://dep.debian.net/deps/dep3/
Index: marble-17.08.3/src/plasma/wallpapers/worldmap/metadata.desktop
===
--- marble-17.08.3.orig/src/plasma/wallpapers/worldmap/metadata.desktop
2017-10-20 03:52:49.0 +
+++ marble-17.08.3/src/plasma/wallpapers/worldmap/metadata.desktop
2019-04-24 15:10:53.251732393 +
@@ -23,6 +23,7 @@
Name[x-test]=xxWorld Mapxx
Name[zh_CN]=ä¸çå°å¾
Name[zh_TW]=ä¸çå°å
+Comment=Shows a map of the world as wallpaper
Type=Service
Icon=marble
Index: marble-17.08.3/src/plasma/applets/worldclock/package/metadata.desktop
===
--- marble-17.08.3.orig/src/plasma/applets/worldclock/package/metadata.desktop
2017-10-20 03:52:49.0 +
+++ marble-17.08.3/src/plasma/applets/worldclock/package/metadata.desktop
2019-04-24 15:09:41.781959847 +
@@ -49,7 +49,7 @@
Name[x-test]=xxWorld Clockxx
Name[zh_CN]=ä¸çæ¶é
Name[zh_TW]=ä¸çæé
-# not yet... Comment=Shows the time in different parts of the world
+Comment=Shows the time in different parts of the world
Icon=marble
Type=Service
pgp1PCDihfMw3.pgp
Description: PGP signature