Hi Thomas, On 10.12.19 15:44, Thomas Schwinge wrote:
> Thanks, yes, with my following remarks considered, and acted on per your > preference. To record the review effort, please include "Reviewed-by: > Thomas Schwinge <tho...@codesourcery.com>" in the commit log, see > <https://gcc.gnu.org/wiki/Reviewed-by>. Committed as r279168 and r279169. Frederik