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

Fixing the potential deletion of comments #6125

Open

Priyansh4444 wants to merge 2 commits into rust-lang:master from Priyansh4444:master

Priyansh4444 commented Mar 26, 2024 •

edited

Loading

Adding a check to make sure comments are not being removed! by adding a simple check to see what it is being rewritten to.

This was done by simply adding a check if a previously existing comment has been erased after the rewrite.

Attempting to Fix #6044

Priyansh4444 added 2 commits

March 25, 2024 18:34


          Solving Issue 6044 by seeing if a comment was destroyed

0969f76


          Fix formatting issues in issue_6044.rs

a735404

rustbot added the pr-not-reviewed label

Priyansh4444 changed the title ~~Issue #6044~~ Fixing the potential deletion of comments

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

Labels

pr-not-reviewed