Dear all, I have just uploaded dose3_5.0-1~bpo8+1 into jessie-backports.
Thanks Anton 2016-06-29 11:37 GMT+02:00 Ralf Treinen <[email protected]>: > Hi, > > On Wed, Jun 29, 2016 at 07:34:03AM +0200, Johannes Schauer wrote: >> Hi Anton, >> >> Quoting Anton Gladky (2016-06-29 07:30:36) >> > are you planning to upload dose3 to jessie-backports? >> >> I would like to ask Ralf to do that because I never did a backport upload and >> would first have to familiarize myself with all the policies and >> technicalities >> for which I currently do not have time right now. > > yes I can do that in the next days. I think Josch prepared already > something in our git repo. > > Cheers -Ralf. > -- > Ralf Treinen > Institut de Recherche en Informatique Fondamentale > Équipe Preuves, Programmes et Systèmes > Université Paris Diderot, Paris, France. > http://www.irif.univ-paris-diderot.fr/~treinen/
