On Mon, 7 Aug 2017, 6:57 p.m. Drew Parsons, <dpars...@debian.org> wrote:
> > - If your package is about to be renamed due to an upstream SONAME > bump, > > you do not need to add any special symbols handling. > > > > > dolfin 2017.1 is in the NEW queue, so that upgrade will handle this > bug. > Is the binary you uploaded built with gcc-7? Otherwise that would not fix this bug.