Pushed as 7681436bfd9c3b6d9b8d18a1c81102d14378cbe8

Thanks for the review.

-- 
Regards
Hartmut Goebel

| Hartmut Goebel          | h.goebel@crazy-compilers.com               |
| www.crazy-compilers.com | compilers which you thought are impossible |