Jean-Marc Lasgouttes wrote:
> Yes, pleas revert

Done.

Bennett, could you please text if this fixes the menu problem on the Mac (note 
that the commit re-introduced bug 1720)?

Jürgen

Reply via email to