Subject: Merged

From: Hartmut Goebel <[email-masked]>
Date: Sun, 17 Nov 2019 16:30:29 +0100

Ups, I'd send the "superseded" message to the wrong isse.

This one has superseded 38224.

Merged as 9c8814909a8bb5f57044eecbf4a6843e66beca07

-- 
Regards
Hartmut Goebel

| Hartmut Goebel          | [email-masked]               |
| www.crazy-compilers.com | compilers which you thought are impossible |