Subject: bug#25452: stumpwm does not install info manual

From: random user via web <[email-masked]>
Date: Mon, 18 May 2020 08:02:35 +0200

Hello.

I think this was fixed in commit 46c1c5537b3c140b1e597a020f38c77fb97f26ec

Close?