You are viewing a plain text version of this content. The canonical link for it is here.
Posted to issues@maven.apache.org by GitBox <gi...@apache.org> on 2023/01/09 03:33:18 UTC

[GitHub] [maven-mvnd] gzm55 opened a new pull request, #767: fix line ident style

gzm55 opened a new pull request, #767:
URL: https://github.com/apache/maven-mvnd/pull/767

   fix a typo of incorrect line ident.


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: issues-unsubscribe@maven.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org


[GitHub] [maven-mvnd] gnodet commented on pull request #767: fix line ident style

Posted by GitBox <gi...@apache.org>.
gnodet commented on PR #767:
URL: https://github.com/apache/maven-mvnd/pull/767#issuecomment-1375198846

   Superseded by #768 


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: issues-unsubscribe@maven.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org


[GitHub] [maven-mvnd] gnodet closed pull request #767: fix line ident style

Posted by GitBox <gi...@apache.org>.
gnodet closed pull request #767: fix line ident style
URL: https://github.com/apache/maven-mvnd/pull/767


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: issues-unsubscribe@maven.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org