Closed thomasturrell closed 3 years ago
This pull request must not be merged if #712 is merged.
Per July 16th meeting the group agreed to apply this pull request to be consistent within the examples.
This pull request must not be merged if #712 is merged.