Skip to content

Remove occurrence of word 'confidential' from a comment in docs#617

Merged
antoninbas merged 1 commit intop4lang:mainfrom
jafingerhut:remove-word-confidential-from-comment
Jan 31, 2025
Merged

Remove occurrence of word 'confidential' from a comment in docs#617
antoninbas merged 1 commit intop4lang:mainfrom
jafingerhut:remove-word-confidential-from-comment

Conversation

@jafingerhut
Copy link
Contributor

I know this is only in a comment, and only for documentation, but one less occurrence of the word 'confidential' in p4lang repos makes it quicker to scan for occurrences of this in the future.

Signed-off-by: Andy Fingerhut <andy_fingerhut@alum.wustl.edu>
@antoninbas antoninbas merged commit c3abb96 into p4lang:main Jan 31, 2025
4 checks passed
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