Christian

> On 18.12.2019, at 22:58, Christian Kellermann <ckeen at pestilenz.org> wrote:
>
> * Chris Muller <asqueaker at gmail.com> [191218 22:45]:
>> Please don't put this dust into the trunk ancestry.  Does anyone have
>> anything else for the PreferencesBrowser they could include this with..?
>
> I am sorry, how should I deal with these mini things in the future?

Like you did. I think it's a perfectly valid commit. :)

Best regards
	-Tobias