Subject: Re: bug#39955: wxmaxima: broken help menus

From: Kei Kebreau <[email-masked]>
Date: Wed, 02 Dec 2020 09:28:49 -0500

This bug appears to have been fixed by the patches sent on July 31,
pushed to master as commits e79fe4f675 and 93d9737d2b respectively.

Thanks for reporting this, and please let us know if you continue to
have issues with wxMaxima on Guix!