Diffusion Craft 8381719dba17

Small changes after merge of D19933

Authored by vonreth on Apr 17 2019, 8:09 AM.