Processed: Re: Bug#337025: libgtksourceview-dev does not ship .a, static linking of libgtksourceview is not possible

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> severity 337025 wishlist
Bug#337025: libgtksourceview-dev does not ship .a, static linking of libgtksourceview is not possible
Severity set to `wishlist'.

> tags 337025 + patch
Bug#337025: libgtksourceview-dev does not ship .a, static linking of libgtksourceview is not possible
There were no tags set.
Tags added: patch

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)