Am 14.06.20 um 12:10 schrieb Thomas Koenig:
Hello world,
this patch solves an PR which just had its 14th birthday,
continuing the mission of alerting the user to mismatches where
possible.
Regression-tested (which led to a few of the extra checks for errors).
OK for trunk?
Ping?
I'd like to get this committed in a few days. (I am getting the feeling
that I am the only active reviewer for anything except OpenAcc and
OpenMP at the moment. While I can do that, at least at the moment,
I think it's a bit unhealthy to have only one person do this, and it
also makes it hard to get my own patches in, unless I bend the rules
a bit and commit anyway after a previous announcement).
Regards
Thomas
