On 05/06/2017 08:07 PM, Michael Milliman wrote:
That is most definitely NOT a dumb question!! It is difficult at times to determine where to report bugs. However, if the bug is within the Debian distribution, I would use the Debian bug reporter to report it, the development team will work with upstream as necessary to resolve theproblem.
You know what, I never realized that was in there! I had to find it in the debian menu in XFCE (which I rarely use, since I have everything I need in a side panel).
Many thanks for this info.