Hi, On Tue, 6 Aug 2019 at 15:00, Daniel Vetter <[email protected]> wrote: > Yeah, I can do that quick patch when you've pushed this one. Better to > plug this process hole quickly. > > Daniel, I guess your fd.o server-side script will have some helpful > reminder to please use dim, and if you do so, please upgrade? Just to > avoid a pile of support queries. Maybe best to point at the > getting-started html: > > https://drm.pages.freedesktop.org/maintainer-tools/getting-started.html
I was planning to leave it for a couple of days before deploying the hook. Partly to give people a little bit of time in which they could just naturally upgrade anyway, and partly because I haven't actually written the patch yet. Cheers, Daniel _______________________________________________ dim-tools mailing list [email protected] https://lists.freedesktop.org/mailman/listinfo/dim-tools
