Processed: control message for bug #20738

[GNU bug tracker automated control server]

Processing commands for control@debbugs.gnu.org:

> tags 20738 unreproducible
Bug #20738 [emacs] 25.0.50; grep/compilation output sometimes has text prop 
`compilation-message' on final line
Added tag(s) unreproducible.
> close 20738
bug#20738: 25.0.50; grep/compilation output sometimes has text prop 
`compilation-message' on final line
bug closed, send any further explanations to
20738@debbugs.gnu.org and Drew Adams <drew.adams@oracle.com>

> quit
Stopping processing here.

Please contact help-debbugs@gnu.org if you need assistance.

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