Han-Wen Nienhuys <hanw...@gmail.com> writes: > On Sun, May 10, 2020 at 11:57 AM David Kastrup <d...@gnu.org> 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