On Thu, 2018-07-12 at 01:41 +0200, Cyril Brulebois wrote: > Adam D. Barratt <a...@adam-barratt.org.uk> (2018-07-11): > > All of the builds were accepted in time for the 13:52 dinstall, so > > everything should be in place for the dini upload. > > Right, I had seen the successful builds earlier but dinstall was > missing > still; I've verified the build goes fine, included the patches for > #902226, opened #903618 to keep track we could be even better there, > and > proceeded to a source upload. >
Thanks, flagged for acceptance. Cheers, Adam
