> On May 21, 2018, at 16:06, Ole Streicher <olebole at debian.org> wrote: > > Hi Leo, > > On 21.05.2018 18:09, Singer, Leo P. (GSFC-6610) wrote: >> Would you please use your DD powers to push this package through? > > Sure, but the git has no pristine-tar. Can you add one? Done.