[Gambas-user] Fwd: [Gambas Bug Tracker] Bug #1171: Tools menu missing

[Benoît Minisini]

-------- Message transféré --------
Sujet : [Gambas Bug Tracker] Bug #1171: Tools menu missing
Date : Mon, 11 Sep 2017 15:17:19 GMT
De : bugtracker at ...3416...
Pour : bagoneo at ...69..., g4mba5 at ...626...

http://gambaswiki.org/bugtracker/edit?object=BUG.1171&from=L21haW4-

Comment #1 by Benoît MINISINI:

Fixed in commit https://gitlab.com/gambas/gambas/commit/804144f59cd8c2b7ebb6c2735f3505b4827be508

Benoît MINISINI changed the state of the bug to: Fixed.