Skip to content

config: add additional comment to disallow_global_stats#2371

Merged
jpsim merged 1 commit intomainfrom
config-add-additional-comment-to-disallow_global_stats
Jun 15, 2022
Merged

config: add additional comment to disallow_global_stats#2371
jpsim merged 1 commit intomainfrom
config-add-additional-comment-to-disallow_global_stats

Conversation

@jpsim
Copy link
Contributor

@jpsim jpsim commented Jun 15, 2022

As suggested in #2367 (comment)

Signed-off-by: JP Simard <jp@jpsim.com>
@jpsim jpsim marked this pull request as ready for review June 15, 2022 14:42
@jpsim jpsim enabled auto-merge (squash) June 15, 2022 14:51
@jpsim jpsim merged commit a3a7e56 into main Jun 15, 2022
@jpsim jpsim deleted the config-add-additional-comment-to-disallow_global_stats branch June 15, 2022 14:55
jpsim added a commit that referenced this pull request Jun 16, 2022
* origin/main:
  bazel: use `device_and_simulator` rule (#2369)
  test cleanup (#2372)
  config: add additional comment to `disallow_global_stats` (#2371)

Signed-off-by: JP Simard <jp@jpsim.com>
Augustyniak pushed a commit that referenced this pull request Jun 28, 2022
Signed-off-by: JP Simard <jp@jpsim.com>
Signed-off-by: Rafal Augustyniak <raugustyniak@lyft.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants