Download patch
ref: e602c5210ab419f15125d9ae84139fc8f6f49d45 parent: cfb2702041ee0bcceddd68f220bb4ab2eda16469 author: Marc-Alexandre Espiaut <marcalexandre@member.fsf.org> date: Tue Jun 5 08:34:02 EDT 2018
Removing obsolete SOFTERROR flag from develop.h