Hi Andrew, > > One of our users reported this bug. I'm not sure if it's already > > reported in > > your bug tracker or not. > It is - and there has been some feedback to the original submitter. > It's bug > ticket #23006. I'll ask engineering to comment further as it's not > clear to me > what the outcome is to be on it. I've merged your new ticket with the original bug report (as you'll see from the change of bug ticket reference in the subject line of this email).
Engineering feedback is that this shouldn't present an actual problem - although we will look into this at some point. Currently it doesn't appear to us to be urgent, but could you confirm whether or not this is causing issues for the original reporter? Kind regards, Cathy -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
