Bug#791024: dolfin: library transition may be needed when GCC 5 is the default

[Emilio Pozuelo Monfort]

This is a friendly ping wrt the libstdc++ ABI transition. Your package is listed
as needing a transition but has seen no action. It'd be good to get things going
so we can finish the transition soon.

Cheers,
Emilio