bug#7190: Crash in menus on w32

[Glenn Morris]

grischka wrote:

> I will not assign my copyright to someone else however I do not claim
> copyright for this patch.

Would you be willing to sign a copyright disclaimer to put this change
in the public domain?

(You seem to be saying that, but we need a signed piece of paper to
that effect to be able to use it.)

(It sounds like this may be being discussed off-list.)