fix #29885, make grisu digit buffer task-local#29907

Merged

JeffBezanson merged 1 commit intomasterfrom jb/fix29885

Nov 28, 2018

+54-32

Commits on Nov 3, 2018

fix #29885 , make grisu digit buffer task-local
JeffBezanson
committed