Re: pushed prooftree changes
On Fri, Jan 13, 2017 at 08:04:45PM +0100, Ralf Treinen wrote:
> On Fri, Jan 13, 2017 at 09:15:45AM +0100, Hendrik Tews wrote:
> > Ralf Treinen <treinen@free.fr> writes:
> >
> > > However, we are currently in a soft freeze, that is no new upstream
> > > versions of packages will migrate into testing.
> >
> > OK, are you sure? I only see
> >
> > Remember:
> > * New packages must be in testing before January 5th.
> >
> > I thought that affects software currently not in unstable, but
> > not new versions of software that is already in unstable/testing.
>
> It was my understanding that migrations of new upstream versions are
> blocked now. I just tried to look it up in the announcements of the
> release team, and couldn't find a confirmation of my understanding.
> Does anyone on this list know what the policy is? Otherwise I will
> have to embarass myself and ask on debian-devel ;-)
I was wrong, packages which are already in testing may still migrate
even with a new upstream version. I just uploaded prooftree, and will
look at hol-light this weekend.
-Ralf.
Reply to: