Processed: Re: Bug#999931: virtuoso-opensource: depends on obsolete pcre3 library

[Debian Bug Tracking System]

Processing control commands:

> tags -1 + patch
Bug #999931 [src:virtuoso-opensource] virtuoso-opensource: depends on obsolete pcre3 library
Added tag(s) patch.

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