On Tue, Jun 26, 2018 at 10:25:06AM +0300, Niko Tyni wrote: > It looks like the deprecated symbols will be reinstated for now. > Not sure if we still want to disable them on our side. Probably not.
The gsl maintainer seems keen to remove those symbols in a (near?) future SONAME bump. Probably best to disable them now on our side after all so we can handle any resulting fallout sooner. -- Niko