VDR 1.3.38: menu key no longer works

[pb at bieringer.de (Peter Bieringer)]

Hi,

are there any changes if lirc and terminal are used in common?

While menu key works on remote control, it no longer works on keyboard
(I use F12 for that).

1.3.37 works fine.

Any hints available?

Thank you,
	Peter