On Wed, Jun 19, 2019 at 06:51:51PM +0200, Vicente Bergas wrote:> here it is:> https://paste.debian.net/1088517No modules and OPTIMIZE_INLINING=n, so this isn't either of my firstthoughts. Hmm. I guess I should try to reproduce the issue locally.Will