mirror of
https://github.com/claunia/edccchk.git
synced 2026-02-03 21:24:28 +00:00
[PR #2] [MERGED] banner: require common.h #3
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/claunia/edccchk/pull/2
Author: @mistydemeo
Created: 2/13/2022
Status: ✅ Merged
Merged: 12/4/2024
Merged by: @claunia
Base:
master← Head:banner_include_common📝 Commits (1)
199a6f9banner: require common.h📊 Changes
1 file changed (+2 additions, -0 deletions)
View changed files
📝
banner.h(+2 -0)📄 Description
When building using clang, the
bannerfunctions failed since they're using types that are only imported incommon.hand it didn't#includeit.🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.