[php-maint] Processed: Re: Bug#832963: Can't create directory 'git-php/mysql_db/' (Errcode: 17 - File exists)

[Debian Bug Tracking System]

Processing control commands:

> reassign 832500 src:php7.0
Bug #832500 [php7.0] Can't create directory 'git-php/mysql_db/' (Errcode: 17 - File exists)
Bug reassigned from package 'php7.0' to 'src:php7.0'.
Ignoring request to alter found versions of bug #832500 to the same values previously set
Ignoring request to alter fixed versions of bug #832500 to the same values previously set
> severity 832500 minor
Bug #832500 [src:php7.0] Can't create directory 'git-php/mysql_db/' (Errcode: 17 - File exists)
Severity set to 'minor' from 'normal'
> reassign -1 src:php7.0
Bug #832963 [php7.0] Can't create directory 'git-php/mysql_db/' (Errcode: 17 - File exists)
Bug reassigned from package 'php7.0' to 'src:php7.0'.
Ignoring request to alter found versions of bug #832963 to the same values previously set
Ignoring request to alter fixed versions of bug #832963 to the same values previously set
> forcemerge 832500 -1
Bug #832500 [src:php7.0] Can't create directory 'git-php/mysql_db/' (Errcode: 17 - File exists)
Bug #832963 [src:php7.0] Can't create directory 'git-php/mysql_db/' (Errcode: 17 - File exists)
Severity set to 'minor' from 'normal'
Merged 832500 832963
> tags -1 +moreinfo
Bug #832963 [src:php7.0] Can't create directory 'git-php/mysql_db/' (Errcode: 17 - File exists)
Bug #832500 [src:php7.0] Can't create directory 'git-php/mysql_db/' (Errcode: 17 - File exists)
Added tag(s) moreinfo.
Added tag(s) moreinfo.

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