[S] Change in coreboot[master]: Makefile.inc: Add 'Wduplicated-branches' command option - coreboot-gerrit

31 Dec 2022


      Elyes Haouas has abandoned this change. ( https://review.coreboot.org/c/coreboot/+/70250 )
Change subject: Makefile.inc: Add 'Wduplicated-branches' command option
......................................................................
Abandoned
-- 
To view, visit https://review.coreboot.org/c/coreboot/+/70250
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings

Gerrit-Project: coreboot
Gerrit-Branch: master
Gerrit-Change-Id: Ifa16c79f60a5f1506c489d89c94d775c50cc4c80
Gerrit-Change-Number: 70250
Gerrit-PatchSet: 3
Gerrit-Owner: Elyes Haouas ehaouas@noos.fr
Gerrit-Reviewer: Martin L Roth gaumless@gmail.com
Gerrit-CC: build bot (Jenkins) no-reply@coreboot.org
Gerrit-MessageType: abandon