On 10/24/15 1:44 PM, Benjamin Burton wrote: >> That leaves the question: what to do with this bug? > > FYI, if a rebuild *is* required then I presume it would be a simple rename > from libsource-highlight4 to libsource-highlight4v5; see the (tested) patch > below. I’m happy to NMU this if the maintainer does not have time (which is > why the changelog entry reads as an NMU).
Works for me.
