Processed: Re: Bug#238460: general: apt-get source: certain files in some packages are owned by a different UID
Processing commands for control@bugs.debian.org:
> retitle 238460 [DPKG-SOURCE] dpkg-source -x should make sure files get owned by $USER
Bug#238460: general: apt-get source: certain files in some packages are owned by a different UID
Changed Bug title.
> reassign 238460 dpkg-dev
Bug#238460: [DPKG-SOURCE] dpkg-source -x should make sure files get owned by $USER
Bug reassigned from package `general' to `dpkg-dev'.
> severity 238460 normal
Bug#238460: [DPKG-SOURCE] dpkg-source -x should make sure files get owned by $USER
Severity set to `normal'.
> merge 238460 144571
Bug#144571: [DPKG-SOURCE] dpkg-source invokes tar without --no-same-owner
Bug#238460: [DPKG-SOURCE] dpkg-source -x should make sure files get owned by $USER
Merged 144571 238460.
> thanks
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: