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/