Subject: bug#33772: StumpWM broken commands?

From: Ludovic Courtès <[email-masked]>
Date: Wed, 19 Dec 2018 11:37:21 +0100

Hello!

Christopher Lemmer Webber <[email-masked]> skribis:

> In the meanwhile, should I push the older version of the package as per
> my diff above so people can use the older version if they need it?

That seems like a good idea IMO, with a comment linking to this issue.

Thanks,
Ludo’.