Nav panel seems to work as expected now. Thanks!
On Saturday, August 20, 2022 at 5:07:02 PM UTC-4 Félix wrote:
> Done ! :)
>
> On Saturday, August 20, 2022 at 3:08:00 PM UTC-4 Félix wrote:
>
>> No worries, i'm on it: I've found the small bug that causes the nav
>> searches to be messed up ;)
On Fri, Aug 19, 2022 at 1:26 PM spike wrote:
> Attached are two bug fixes, one of them serious, and a feature request.
> Patches apply cleanly in order to v6.6.4-devel but are otherwise
> independent.
>
Thanks for these contributions!
Please submit a Pull Request.
Edward
--
You received