Bug#376446: ion3: debian-menu not included by default config

[Norbert Tretkowski]

tags 376446 +confirmed
thanks

* Andreas Hübner wrote:
> the configuration files in /etc/X11/ion3 don't include the generated
> debian menu file. Maybe that's intended, but then there should be a hint
> in the README.

No, that's not intended, it's a bug. I'm going to fix it this weekend,
thanks for reporting.

                Norbert