Merge pull request #189693 from kraem/kraem/fix/wofi-emoji

This commit is contained in:
Sandro 2022-09-04 15:15:05 +02:00 committed by GitHub
commit 8da59ca2a2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -21,7 +21,7 @@ stdenv.mkDerivation rec {
postPatch = '' postPatch = ''
substituteInPlace build.sh \ substituteInPlace build.sh \
--replace 'curl ${emojiJSON.url}' 'cat emoji-en-US.json' --replace 'curl ${emojiJSON.url}' 'cat ${emojiJSON}'
''; '';
buildPhase = '' buildPhase = ''