On Fri, Nov 20, 2015 at 10:24:09AM +0000, Jonathan Dowland wrote: > Is there anything preventing a rename of libpcre2-dev to libpcre-dev, first?
That should, of course, have been "Is there anything preventing a rename of libpcre3-dev to libpcre-dev, first?"
