jgmenu is now updated to 0.7, see 1c6c0030
I can confirm and thank you for your intervention in this regard!!
Well, already that we are there: using the new v0.7 I detected a bug that I reported to the jgmenu developer and that was promptly corrected.
and so 0.7.1 has just been released!
…Allô @paoloschi ?
I was away, sorry.
I did absolutely nothing in the Void game for more than a month.
Now I’m back, it’s ok.
I’m glad to see that other maintainers have updated some of my packages while I was gone.
Too much free time from University and holidays i’ll scale down when exam season comes in about 2-3 weeks