extremely minor changes

requested review from @atul.singh and @florian.goldenberg

assigned to @luis.trujillo

enabled an automatic merge when all merge checks for 0a9e2c7c pass

aborted the automatic merge because the source branch was updated. Learn more.

added 1 commit

• a9050aca - extremely minor changes

Compare with previous version

approved this merge request

closed

reopened

approved this merge request

mentioned in commit 2cae3c64

merged