* [PR PATCH] intellij-idea-community-edition: add .desktop.
@ 2021-01-05 12:12 AlexDltg
2021-01-05 12:27 ` [PR PATCH] [Updated] " AlexDltg
` (12 more replies)
0 siblings, 13 replies; 14+ messages in thread
From: AlexDltg @ 2021-01-05 12:12 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 332 bytes --]
There is a new pull request by AlexDltg against master on the void-packages repository
https://github.com/AlexDltg/void-packages master
https://github.com/void-linux/void-packages/pull/27686
intellij-idea-community-edition: add .desktop.
A patch file from https://github.com/void-linux/void-packages/pull/27686.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-master-27686.patch --]
[-- Type: text/x-diff, Size: 1753 bytes --]
From e3b1d8b975988c3b4c9049b454810cb96c0fe237 Mon Sep 17 00:00:00 2001
From: AlexDltg <adelatorregarcia.cf@iesesteveterradas.cat>
Date: Tue, 5 Jan 2021 13:11:49 +0100
Subject: [PATCH] intellij-idea-community-edition: add .desktop.
---
| 8 ++++++++
| 3 ++-
2 files changed, 10 insertions(+), 1 deletion(-)
create mode 100644 srcpkgs/intellij-idea-community-edition/files/idea.desktop
--git a/srcpkgs/intellij-idea-community-edition/files/idea.desktop b/srcpkgs/intellij-idea-community-edition/files/idea.desktop
new file mode 100644
index 00000000000..5d32e21b019
--- /dev/null
+++ b/srcpkgs/intellij-idea-community-edition/files/idea.desktop
@@ -0,0 +1,8 @@
+[Desktop Entry]
+Name=IntelliJ IDEA Community Edition
+Comment=Java integrated development environment by JetBrains
+Exec=/usr/bin/idea %f
+Icon=idea
+Terminal=false
+Type=Application
+Categories=Development;
\ No newline at end of file
--git a/srcpkgs/intellij-idea-community-edition/template b/srcpkgs/intellij-idea-community-edition/template
index 8b41709db36..cb424260fc9 100644
--- a/srcpkgs/intellij-idea-community-edition/template
+++ b/srcpkgs/intellij-idea-community-edition/template
@@ -1,7 +1,7 @@
# Template file for 'intellij-idea-community-edition'
pkgname=intellij-idea-community-edition
version=2020.3.1
-revision=1
+revision=2
archs="i686 x86_64"
depends="virtual?java-environment giflib libXtst"
short_desc="Java integrated development environment by JetBrains"
@@ -58,4 +58,5 @@ do_install() {
esac
ln -sf /usr/lib/intellij-idea/bin/idea.sh ${DESTDIR}/usr/bin/idea
+ vinstall ${FILESDIR}/idea.desktop 644 usr/share/applications
}
^ permalink raw reply [flat|nested] 14+ messages in thread
* Re: [PR PATCH] [Updated] intellij-idea-community-edition: add .desktop.
2021-01-05 12:12 [PR PATCH] intellij-idea-community-edition: add .desktop AlexDltg
@ 2021-01-05 12:27 ` AlexDltg
2021-01-05 12:51 ` AlexDltg
` (11 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: AlexDltg @ 2021-01-05 12:27 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 337 bytes --]
There is an updated pull request by AlexDltg against master on the void-packages repository
https://github.com/AlexDltg/void-packages master
https://github.com/void-linux/void-packages/pull/27686
intellij-idea-community-edition: add .desktop.
A patch file from https://github.com/void-linux/void-packages/pull/27686.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-master-27686.patch --]
[-- Type: text/x-diff, Size: 1925 bytes --]
From 3be333af9b03f46d71e224ff1ecdc59f7269e8de Mon Sep 17 00:00:00 2001
From: AlexDltg <adelatorregarcia.cf@iesesteveterradas.cat>
Date: Tue, 5 Jan 2021 13:11:49 +0100
Subject: [PATCH] intellij-idea-community-edition: add .desktop.
---
| 8 ++++++++
| 5 ++++-
2 files changed, 12 insertions(+), 1 deletion(-)
create mode 100644 srcpkgs/intellij-idea-community-edition/files/idea.desktop
--git a/srcpkgs/intellij-idea-community-edition/files/idea.desktop b/srcpkgs/intellij-idea-community-edition/files/idea.desktop
new file mode 100644
index 00000000000..5d32e21b019
--- /dev/null
+++ b/srcpkgs/intellij-idea-community-edition/files/idea.desktop
@@ -0,0 +1,8 @@
+[Desktop Entry]
+Name=IntelliJ IDEA Community Edition
+Comment=Java integrated development environment by JetBrains
+Exec=/usr/bin/idea %f
+Icon=idea
+Terminal=false
+Type=Application
+Categories=Development;
\ No newline at end of file
--git a/srcpkgs/intellij-idea-community-edition/template b/srcpkgs/intellij-idea-community-edition/template
index 8b41709db36..023174f155c 100644
--- a/srcpkgs/intellij-idea-community-edition/template
+++ b/srcpkgs/intellij-idea-community-edition/template
@@ -1,7 +1,7 @@
# Template file for 'intellij-idea-community-edition'
pkgname=intellij-idea-community-edition
version=2020.3.1
-revision=1
+revision=2
archs="i686 x86_64"
depends="virtual?java-environment giflib libXtst"
short_desc="Java integrated development environment by JetBrains"
@@ -58,4 +58,7 @@ do_install() {
esac
ln -sf /usr/lib/intellij-idea/bin/idea.sh ${DESTDIR}/usr/bin/idea
+ ln -sf /usr/lib/intellij-idea/bin/idea.png ${DESTDIR}/usr/share/pixmaps/
+ ln -sf /usr/lib/intellij-idea/bin/idea.svg ${DESTDIR}/usr/share/icons/hicolor/scalable/apps/
+ vinstall ${FILESDIR}/idea.desktop 644 usr/share/applications
}
^ permalink raw reply [flat|nested] 14+ messages in thread
* Re: [PR PATCH] [Updated] intellij-idea-community-edition: add .desktop.
2021-01-05 12:12 [PR PATCH] intellij-idea-community-edition: add .desktop AlexDltg
2021-01-05 12:27 ` [PR PATCH] [Updated] " AlexDltg
@ 2021-01-05 12:51 ` AlexDltg
2021-01-05 14:54 ` ericonr
` (10 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: AlexDltg @ 2021-01-05 12:51 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 337 bytes --]
There is an updated pull request by AlexDltg against master on the void-packages repository
https://github.com/AlexDltg/void-packages master
https://github.com/void-linux/void-packages/pull/27686
intellij-idea-community-edition: add .desktop.
A patch file from https://github.com/void-linux/void-packages/pull/27686.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-master-27686.patch --]
[-- Type: text/x-diff, Size: 2284 bytes --]
From 5ff9416edbcc49f64ae7d399d13f653846f83974 Mon Sep 17 00:00:00 2001
From: AlexDltg <adelatorregarcia.cf@iesesteveterradas.cat>
Date: Tue, 5 Jan 2021 13:11:49 +0100
Subject: [PATCH] intellij-idea-community-edition: add .desktop.
---
| 8 ++++++++
| 7 ++++++-
2 files changed, 14 insertions(+), 1 deletion(-)
create mode 100644 srcpkgs/intellij-idea-community-edition/files/idea.desktop
--git a/srcpkgs/intellij-idea-community-edition/files/idea.desktop b/srcpkgs/intellij-idea-community-edition/files/idea.desktop
new file mode 100644
index 00000000000..5d32e21b019
--- /dev/null
+++ b/srcpkgs/intellij-idea-community-edition/files/idea.desktop
@@ -0,0 +1,8 @@
+[Desktop Entry]
+Name=IntelliJ IDEA Community Edition
+Comment=Java integrated development environment by JetBrains
+Exec=/usr/bin/idea %f
+Icon=idea
+Terminal=false
+Type=Application
+Categories=Development;
\ No newline at end of file
--git a/srcpkgs/intellij-idea-community-edition/template b/srcpkgs/intellij-idea-community-edition/template
index 8b41709db36..28048e2fa6c 100644
--- a/srcpkgs/intellij-idea-community-edition/template
+++ b/srcpkgs/intellij-idea-community-edition/template
@@ -1,7 +1,7 @@
# Template file for 'intellij-idea-community-edition'
pkgname=intellij-idea-community-edition
version=2020.3.1
-revision=1
+revision=2
archs="i686 x86_64"
depends="virtual?java-environment giflib libXtst"
short_desc="Java integrated development environment by JetBrains"
@@ -23,6 +23,8 @@ do_install() {
vmkdir usr/bin
vmkdir usr/share/doc/intellij-idea
vmkdir usr/lib/intellij-idea
+ vmkdir usr/share/pixmaps
+ vmkdir usr/share/icons/hicolor/scalable/apps
mv bin lib plugins redist product-info.json build.txt ${DESTDIR}/usr/lib/intellij-idea
mv LICENSE.txt NOTICE.txt license ${DESTDIR}/usr/share/doc/intellij-idea
@@ -58,4 +60,7 @@ do_install() {
esac
ln -sf /usr/lib/intellij-idea/bin/idea.sh ${DESTDIR}/usr/bin/idea
+ ln -sf /usr/lib/intellij-idea/bin/idea.png ${DESTDIR}/usr/share/pixmaps
+ ln -sf /usr/lib/intellij-idea/bin/idea.svg ${DESTDIR}/usr/share/icons/hicolor/scalable/apps
+ vinstall ${FILESDIR}/idea.desktop 644 usr/share/applications
}
^ permalink raw reply [flat|nested] 14+ messages in thread
* Re: intellij-idea-community-edition: add .desktop.
2021-01-05 12:12 [PR PATCH] intellij-idea-community-edition: add .desktop AlexDltg
2021-01-05 12:27 ` [PR PATCH] [Updated] " AlexDltg
2021-01-05 12:51 ` AlexDltg
@ 2021-01-05 14:54 ` ericonr
2021-01-05 15:11 ` AlexDltg
` (9 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: ericonr @ 2021-01-05 14:54 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 262 bytes --]
New comment by ericonr on void-packages repository
https://github.com/void-linux/void-packages/pull/27686#issuecomment-754684396
Comment:
I really don't like vendoring in desktop files... They are upstream responsibility, not for each distribution to provide.
^ permalink raw reply [flat|nested] 14+ messages in thread
* Re: intellij-idea-community-edition: add .desktop.
2021-01-05 12:12 [PR PATCH] intellij-idea-community-edition: add .desktop AlexDltg
` (2 preceding siblings ...)
2021-01-05 14:54 ` ericonr
@ 2021-01-05 15:11 ` AlexDltg
2021-01-05 15:11 ` AlexDltg
` (8 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: AlexDltg @ 2021-01-05 15:11 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 424 bytes --]
New comment by AlexDltg on void-packages repository
https://github.com/void-linux/void-packages/pull/27686#issuecomment-754696163
Comment:
> I really don't like vendoring in desktop files... They are upstream responsibility, not for each distribution to provide.
Sorry, I don't know if I have understood correctly
What do you mean to change the "comment" section or do you think it is wrong to provide .desktop files.
^ permalink raw reply [flat|nested] 14+ messages in thread
* Re: intellij-idea-community-edition: add .desktop.
2021-01-05 12:12 [PR PATCH] intellij-idea-community-edition: add .desktop AlexDltg
` (3 preceding siblings ...)
2021-01-05 15:11 ` AlexDltg
@ 2021-01-05 15:11 ` AlexDltg
2021-01-05 15:11 ` AlexDltg
` (7 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: AlexDltg @ 2021-01-05 15:11 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 426 bytes --]
New comment by AlexDltg on void-packages repository
https://github.com/void-linux/void-packages/pull/27686#issuecomment-754696163
Comment:
> I really don't like vendoring in desktop files... They are upstream responsibility, not for each distribution to provide.
Sorry, I don't know if I have understood correctly
What do you mean to change the "comment" section or do you think it is wrong to provide .desktop files.
^ permalink raw reply [flat|nested] 14+ messages in thread
* Re: intellij-idea-community-edition: add .desktop.
2021-01-05 12:12 [PR PATCH] intellij-idea-community-edition: add .desktop AlexDltg
` (4 preceding siblings ...)
2021-01-05 15:11 ` AlexDltg
@ 2021-01-05 15:11 ` AlexDltg
2021-01-05 15:13 ` AlexDltg
` (6 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: AlexDltg @ 2021-01-05 15:11 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 426 bytes --]
New comment by AlexDltg on void-packages repository
https://github.com/void-linux/void-packages/pull/27686#issuecomment-754696163
Comment:
> I really don't like vendoring in desktop files... They are upstream responsibility, not for each distribution to provide.
Sorry, I don't know if I have understood correctly
What do you mean to change the "comment" section or do you think it is wrong to provide .desktop files.
^ permalink raw reply [flat|nested] 14+ messages in thread
* Re: intellij-idea-community-edition: add .desktop.
2021-01-05 12:12 [PR PATCH] intellij-idea-community-edition: add .desktop AlexDltg
` (5 preceding siblings ...)
2021-01-05 15:11 ` AlexDltg
@ 2021-01-05 15:13 ` AlexDltg
2021-01-05 15:13 ` AlexDltg
` (5 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: AlexDltg @ 2021-01-05 15:13 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 424 bytes --]
New comment by AlexDltg on void-packages repository
https://github.com/void-linux/void-packages/pull/27686#issuecomment-754696163
Comment:
> I really don't like vendoring in desktop files... They are upstream responsibility, not for each distribution to provide.
Sorry, I don't know if I have understood correctly
What do you mean, change the "comment" section or do you think it is wrong to provide .desktop files.
^ permalink raw reply [flat|nested] 14+ messages in thread
* Re: intellij-idea-community-edition: add .desktop.
2021-01-05 12:12 [PR PATCH] intellij-idea-community-edition: add .desktop AlexDltg
` (6 preceding siblings ...)
2021-01-05 15:13 ` AlexDltg
@ 2021-01-05 15:13 ` AlexDltg
2021-01-05 15:19 ` ericonr
` (4 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: AlexDltg @ 2021-01-05 15:13 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 424 bytes --]
New comment by AlexDltg on void-packages repository
https://github.com/void-linux/void-packages/pull/27686#issuecomment-754696163
Comment:
> I really don't like vendoring in desktop files... They are upstream responsibility, not for each distribution to provide.
Sorry, I don't know if I have understood correctly
What do you mean, change the "comment" section or do you think it is wrong to provide .desktop files?
^ permalink raw reply [flat|nested] 14+ messages in thread
* Re: intellij-idea-community-edition: add .desktop.
2021-01-05 12:12 [PR PATCH] intellij-idea-community-edition: add .desktop AlexDltg
` (7 preceding siblings ...)
2021-01-05 15:13 ` AlexDltg
@ 2021-01-05 15:19 ` ericonr
2021-01-05 21:16 ` AlexDltg
` (3 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: ericonr @ 2021-01-05 15:19 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 441 bytes --]
New comment by ericonr on void-packages repository
https://github.com/void-linux/void-packages/pull/27686#issuecomment-754701163
Comment:
I think IDEA should provide a desktop file of their own that we simply install.
That said, given that this is a proprietary application, the chances of actually changing this on their side is kind of low, so I can understand the reasoning for accepting it.
I leave it for someone else to merge.
^ permalink raw reply [flat|nested] 14+ messages in thread
* Re: intellij-idea-community-edition: add .desktop.
2021-01-05 12:12 [PR PATCH] intellij-idea-community-edition: add .desktop AlexDltg
` (8 preceding siblings ...)
2021-01-05 15:19 ` ericonr
@ 2021-01-05 21:16 ` AlexDltg
2021-01-12 12:39 ` [PR PATCH] [Updated] " AlexDltg
` (2 subsequent siblings)
12 siblings, 0 replies; 14+ messages in thread
From: AlexDltg @ 2021-01-05 21:16 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 417 bytes --]
New comment by AlexDltg on void-packages repository
https://github.com/void-linux/void-packages/pull/27686#issuecomment-754696163
Comment:
> I really don't like vendoring in desktop files... They are upstream responsibility, not for each distribution to provide.
Sorry, I don't know if I have understood correctly
What do you mean? change something in the .desktop or that is wrong to provide .desktop files?
^ permalink raw reply [flat|nested] 14+ messages in thread
* Re: [PR PATCH] [Updated] intellij-idea-community-edition: add .desktop.
2021-01-05 12:12 [PR PATCH] intellij-idea-community-edition: add .desktop AlexDltg
` (9 preceding siblings ...)
2021-01-05 21:16 ` AlexDltg
@ 2021-01-12 12:39 ` AlexDltg
2021-02-15 4:16 ` ericonr
2021-02-15 9:25 ` [PR PATCH] [Merged]: " Johnnynator
12 siblings, 0 replies; 14+ messages in thread
From: AlexDltg @ 2021-01-12 12:39 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 337 bytes --]
There is an updated pull request by AlexDltg against master on the void-packages repository
https://github.com/AlexDltg/void-packages master
https://github.com/void-linux/void-packages/pull/27686
intellij-idea-community-edition: add .desktop.
A patch file from https://github.com/void-linux/void-packages/pull/27686.patch is attached
[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #2: github-pr-master-27686.patch --]
[-- Type: text/x-diff, Size: 2417 bytes --]
From 7a28cda6221930585b318f2fee2cd143ccad9ad4 Mon Sep 17 00:00:00 2001
From: AlexDltg <adelatorregarcia.cf@iesesteveterradas.cat>
Date: Tue, 5 Jan 2021 13:11:49 +0100
Subject: [PATCH] intellij-idea-community-edition: add .desktop.
---
| 8 ++++++++
| 9 +++++++--
2 files changed, 15 insertions(+), 2 deletions(-)
create mode 100644 srcpkgs/intellij-idea-community-edition/files/idea.desktop
--git a/srcpkgs/intellij-idea-community-edition/files/idea.desktop b/srcpkgs/intellij-idea-community-edition/files/idea.desktop
new file mode 100644
index 00000000000..5d32e21b019
--- /dev/null
+++ b/srcpkgs/intellij-idea-community-edition/files/idea.desktop
@@ -0,0 +1,8 @@
+[Desktop Entry]
+Name=IntelliJ IDEA Community Edition
+Comment=Java integrated development environment by JetBrains
+Exec=/usr/bin/idea %f
+Icon=idea
+Terminal=false
+Type=Application
+Categories=Development;
\ No newline at end of file
--git a/srcpkgs/intellij-idea-community-edition/template b/srcpkgs/intellij-idea-community-edition/template
index 8b41709db36..418d4518235 100644
--- a/srcpkgs/intellij-idea-community-edition/template
+++ b/srcpkgs/intellij-idea-community-edition/template
@@ -1,9 +1,9 @@
# Template file for 'intellij-idea-community-edition'
pkgname=intellij-idea-community-edition
version=2020.3.1
-revision=1
+revision=2
archs="i686 x86_64"
-depends="virtual?java-environment giflib libXtst"
+depends="virtual?java-environment giflib libXtst hicolor-icon-theme"
short_desc="Java integrated development environment by JetBrains"
maintainer="John <me@johnnynator.dev>"
license="Apache-2.0"
@@ -23,6 +23,8 @@ do_install() {
vmkdir usr/bin
vmkdir usr/share/doc/intellij-idea
vmkdir usr/lib/intellij-idea
+ vmkdir usr/share/pixmaps
+ vmkdir usr/share/icons/hicolor/scalable/apps
mv bin lib plugins redist product-info.json build.txt ${DESTDIR}/usr/lib/intellij-idea
mv LICENSE.txt NOTICE.txt license ${DESTDIR}/usr/share/doc/intellij-idea
@@ -58,4 +60,7 @@ do_install() {
esac
ln -sf /usr/lib/intellij-idea/bin/idea.sh ${DESTDIR}/usr/bin/idea
+ ln -sf /usr/lib/intellij-idea/bin/idea.png ${DESTDIR}/usr/share/pixmaps
+ ln -sf /usr/lib/intellij-idea/bin/idea.svg ${DESTDIR}/usr/share/icons/hicolor/scalable/apps
+ vinstall ${FILESDIR}/idea.desktop 644 usr/share/applications
}
^ permalink raw reply [flat|nested] 14+ messages in thread
* Re: intellij-idea-community-edition: add .desktop.
2021-01-05 12:12 [PR PATCH] intellij-idea-community-edition: add .desktop AlexDltg
` (10 preceding siblings ...)
2021-01-12 12:39 ` [PR PATCH] [Updated] " AlexDltg
@ 2021-02-15 4:16 ` ericonr
2021-02-15 9:25 ` [PR PATCH] [Merged]: " Johnnynator
12 siblings, 0 replies; 14+ messages in thread
From: ericonr @ 2021-02-15 4:16 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 154 bytes --]
New comment by ericonr on void-packages repository
https://github.com/void-linux/void-packages/pull/27686#issuecomment-778925381
Comment:
@Johnnynator
^ permalink raw reply [flat|nested] 14+ messages in thread
* Re: [PR PATCH] [Merged]: intellij-idea-community-edition: add .desktop.
2021-01-05 12:12 [PR PATCH] intellij-idea-community-edition: add .desktop AlexDltg
` (11 preceding siblings ...)
2021-02-15 4:16 ` ericonr
@ 2021-02-15 9:25 ` Johnnynator
12 siblings, 0 replies; 14+ messages in thread
From: Johnnynator @ 2021-02-15 9:25 UTC (permalink / raw)
To: ml
[-- Attachment #1: Type: text/plain, Size: 180 bytes --]
There's a merged pull request on the void-packages repository
intellij-idea-community-edition: add .desktop.
https://github.com/void-linux/void-packages/pull/27686
Description:
^ permalink raw reply [flat|nested] 14+ messages in thread
end of thread, other threads:[~2021-02-15 9:25 UTC | newest]
Thread overview: 14+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-01-05 12:12 [PR PATCH] intellij-idea-community-edition: add .desktop AlexDltg
2021-01-05 12:27 ` [PR PATCH] [Updated] " AlexDltg
2021-01-05 12:51 ` AlexDltg
2021-01-05 14:54 ` ericonr
2021-01-05 15:11 ` AlexDltg
2021-01-05 15:11 ` AlexDltg
2021-01-05 15:11 ` AlexDltg
2021-01-05 15:13 ` AlexDltg
2021-01-05 15:13 ` AlexDltg
2021-01-05 15:19 ` ericonr
2021-01-05 21:16 ` AlexDltg
2021-01-12 12:39 ` [PR PATCH] [Updated] " AlexDltg
2021-02-15 4:16 ` ericonr
2021-02-15 9:25 ` [PR PATCH] [Merged]: " Johnnynator
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).