This repository was archived by the owner on Jan 19, 2026. It is now read-only.
use -pedantic instead of -Wpedantic#6
Open
santazhang wants to merge 1 commit intomcinglis:masterfrom
santazhang:master
Open
use -pedantic instead of -Wpedantic#6santazhang wants to merge 1 commit intomcinglis:masterfrom santazhang:master
santazhang wants to merge 1 commit intomcinglis:masterfrom
santazhang:master
