Markus Armbruster Wed, 31 Oct 2018 07:01:44 -0700
Queued except for PATCH 2/6. Thanks! We'll want Marc-André's fixes on top.
