Re: migrating to GitLab

[David Kastrup]

Han-Wen Nienhuys <address@hidden> writes:

> 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.

Yes, I misread the date.  The commit _time_ looked like it was just now,
but the date (of the rebase most likely) yesterday.

Sorry for that mistake.  I still think it makes sense to let the Patchy
run complete in order to leave a reasonably clean slate on Savannah.

-- 
David Kastrup