Subject: [bug#39599] [PATCH v2] gnu: Add gnome-shell-extension-paperwm.

From: "Alex Griffin" <[email-masked]>
Date: Fri, 21 Feb 2020 14:34:08 +0000

Jack,

Thank you, I just committed your improvements with some slight modifications!

I had noticed the issue and intended to fix it myself, but after stepping away from my computer for a while, I must have forgotten about it and sent my patch too early.

-- 
Alex Griffin