mirror of
https://github.com/CCExtractor/ccextractor.git
synced 2026-02-04 05:44:53 +00:00
[PR #1179] [MERGED] [IMPROVEMENT] Add noreturn attribute to fatal #1967
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/CCExtractor/ccextractor/pull/1179
Author: @NilsIrl
Created: 1/13/2020
Status: ✅ Merged
Merged: 1/23/2020
Merged by: @cfsmp3
Base:
master← Head:warning_1📝 Commits (2)
0c288a4Set no returndc42615Add MSVC📊 Changes
1 file changed (+5 additions, -0 deletions)
View changed files
📝
src/lib_ccx/lib_ccx.h(+5 -0)📄 Description
In raising this pull request, I confirm the following (please check boxes):
My familiarity with the project is as follows (check one):
Removes the following warnings:
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.