Merge pull request #123471 from stephank/fix-openbox-menu-darwin
openbox-menu: fix darwin build
authored by Sandro and committed by GitHub 4 years ago 7bfe6b14 5cec01f4