Re: [URGENT] RFR: 8205096: Add missing files for 8203394

[Thomas Schatzl]

Hi,

On Fri, 2018-06-15 at 19:23 +1000, David Holmes wrote:
> Ship it!

  +1

Thomas