Processed: tagging 827014

[Sean Whitton]

Hello Joachim,

On Sat, Jul 09, 2016 at 12:24:05PM +0000, Debian Bug Tracking System wrote:
> Processing commands for control at bugs.debian.org:
> 
> > # only affects sid
> > tags 827014 + sid
> Bug #827014 {Done: Sean Whitton <spwhitton at spwhitton.name>} [src:agda] agda: B-D on cpphs (< 1.20) but sid has 1.20.1
> Added tag(s) sid.
> > thanks
> Stopping processing here.

Could you explain this -- doesn't the bug only affect the version
currently in testing, not sid?  The version in sid build-depends on
>= 1.19 so works with 1.20.1.

-- 
Sean Whitton