Re: migrating to GitLab

[Han-Wen Nienhuys]

On Sun, May 10, 2020 at 11:57 AM David Kastrup <address@hidden> wrote:

>     output-distance: set device properties in batch driver file
>
>     This fixes the output quality of the regtest results.
>
>     Previously, the code sets a device by doing
>
>      (png16m) finddevice
>
>     this put a default device on the stack, ignoring the command-line
>     arguments.  To fix this, specify these settings (HWResolution,
>     TextAlphaBits, GraphicsAlphaBits) as arguments to the putdeviceprops
>     call.
>
>     https://codereview.appspot.com/560020043/
>     https://sourceforge.net/p/testlilyissues/issues/5967/
>
> How do you expect that commit you just now pushed to proceed if not via
> Patchy?

I'd push it again, I guess? IIRC I pushed this before reading Jonas
request for comments.

--
Han-Wen Nienhuys - address@hidden - http://www.xs4all.nl/~hanwen