PR #3767 use note box in make_rng docstring

use note box in make_rng docstring #3767

copybara-service merged 1 commit into main from improve-make_rng-docstring

use note box in make_rng docstring

bd831b30

chiamp approved these changes on 2024-03-18

chiamp added pull ready

copybara-service merged 79851d4f into main 1 year ago

copybara-service deleted the improve-make_rng-docstring branch 1 year ago

Reviewers

chiamp

Assignees

No one assigned

Labels

pull ready

Milestone

No milestone