Processed: Re: Bug#826619: pluma: Pluma - external tools missing

Debian Bug Tracking System owner at bugs.debian.org
Tue Aug 1 22:45:06 UTC 2017


Processing control commands:

> close -1
Bug #826619 [pluma] pluma: Pluma - external tools missing
Marked Bug as done

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



More information about the pkg-mate-team mailing list