Processed: Re: Bug#929013 closed by Mattia Rizzolo <mattia at debian.org> (Bug#929013 fixed in jenkins.debian.org)

[Debian Bug Tracking System]

Processing control commands:

> reopen 929013
Bug #929013 {Done: Mattia Rizzolo <mattia at debian.org>} [jenkins.debian.org] Set user-agent for git
Bug reopened
Ignoring request to alter fixed versions of bug #929013 to the same values previously set

-- 
929013: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=929013
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems