summaryrefslogtreecommitdiffstats
path: root/system/gnomint/patches/09_gcc-10.patch
AgeCommit message (Expand)Author
2020-12-0820201208.1 global branch merge.current-20201208.1 Matteo Bernardini