Processed (with 1 error): Re: Bug#826619: pluma: Pluma - external tools missing

[Debian Bug Tracking System]

Processing control commands:

> fixed -1 1.18.2-1
Bug #826619 [pluma] pluma: Pluma - external tools missing
Marked as fixed in versions pluma/1.18.2-1.
> close
Unknown command or malformed arguments to command.


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