projects / feed / packages.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 4df4b8e 5765474)
Merge pull request #18948 from neheb/18
authorJeffery To <jeffery.to@gmail.com>
Mon, 18 Jul 2022 05:49:14 +0000 (13:49 +0800)
committerGitHub <noreply@github.com>
Mon, 18 Jul 2022 05:49:14 +0000 (13:49 +0800)
slang2: try to fix compilation without BUILD_NLS


Trivial merge
Mirror of packages feed