Bug#791238: petsc: library transition may be needed when GCC 5 is the default

[Emilio Pozuelo Monfort]

Control: user release.debian.org at packages.debian.org
Control: usertag -1 - transition

On Wed, 5 Aug 2015 16:17:54 +0200 Martin Pitt <mpitt at debian.org> wrote:
> tag 791238 patch
> user release.debian.org at packages.debian.org
> usertag 791238 + transition
> block 791238 by 790756
> 
> Hello,
> 
> this is a debdiff which we uploaded to Ubuntu (aside from some formal
> debian/changelog differences). As debian/rules is really complex and I
> don't have a good way of testing this, I'd appreciate a second look
> before uploading this.

>From a RT POV, feel free to go ahead with this.

I'm removing the transition tag for now, feel free to add that (and reassign)
once this is uploaded.

[ Note that I haven't actually reviewed the debdiff. ]

Emilio