Processed: Merge bugs related to masking files from shebang patcher

[GNU bug tracker automated control server]

Processing commands for address@hidden:

> unarchive 25304
Bug #25304 {Done: address@hidden (Ludovic Courtès)} [guix] Libtool's ltmain.sh 
should have its shebang preserved
Unarchived bug 25304
> reopen 25304
Bug #25304 {Done: address@hidden (Ludovic Courtès)} [guix] Libtool's ltmain.sh 
should have its shebang preserved
> severity 25304 important
Bug #25304 [guix] Libtool's ltmain.sh should have its shebang preserved
Severity set to 'important' from 'normal'

> merge 25508 25304 26749
bug#25304: Libtool's ltmain.sh should have its shebang preserved
bug#25508: Git hook shebangs should not be rewritten
bug#26749: mask files from shebang patcher (git, libtool and stagit)
Merged 25304 25508 26749.

> thanks
Stopping processing here.

Please contact address@hidden if you need assistance.

GNU bugs database, http://debbugs.gnu.org/