New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update records_restricted.js #8419

Merged

indus merged 1 commit into master from indus-patch-1

Aug 1, 2023

Member

indus commented Aug 1, 2023

There is reasonable content on the page (see: No Content)
I have read and accepted the Terms and Conditions


          Update records_restricted.js

398cad2

indus merged commit 6752d1d into master

1 check passed

indus deleted the indus-patch-1 branch

August 1, 2023 15:24

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet