[XS] Change in coreboot[main]: tree: Remove duplicated <stdint.h> - coreboot-gerrit

3 Apr 2024


      Attention is currently required from: Elyes Haouas, Jérémy Compostella, Philipp Hug, ron minnich.
Arthur Heymans has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/81633?usp=email )
Change subject: tree: Remove duplicated <stdint.h>
......................................................................
Patch Set 2: Code-Review+2
(1 comment)
Patchset:
PS2: 
Can you add a linter for this? Editors sometimes automatically add headers.
-- 
To view, visit https://review.coreboot.org/c/coreboot/+/81633?usp=email
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings

Gerrit-Project: coreboot
Gerrit-Branch: main
Gerrit-Change-Id: Ia68a0dc8fba4a48401e213ebb8356e32f0a019ab
Gerrit-Change-Number: 81633
Gerrit-PatchSet: 2
Gerrit-Owner: Elyes Haouas ehaouas@noos.fr
Gerrit-Reviewer: Arthur Heymans arthur@aheymans.xyz
Gerrit-Reviewer: Jérémy Compostella jeremy.compostella@intel.com
Gerrit-Reviewer: Philipp Hug philipp@hug.cx
Gerrit-Reviewer: build bot (Jenkins) no-reply@coreboot.org
Gerrit-Reviewer: ron minnich rminnich@gmail.com
Gerrit-Attention: Philipp Hug philipp@hug.cx
Gerrit-Attention: Jérémy Compostella jeremy.compostella@intel.com
Gerrit-Attention: ron minnich rminnich@gmail.com
Gerrit-Attention: Elyes Haouas ehaouas@noos.fr
Gerrit-Comment-Date: Wed, 03 Apr 2024 16:38:59 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: Yes
Gerrit-MessageType: comment