From 67bb2ae4bab66dab639321741d4a0baaf08f0706 Mon Sep 17 00:00:00 2001 From: "Zaiming (Stone) Shi" Date: Mon, 20 Mar 2023 16:36:42 +0100 Subject: [PATCH] chore: use base16 fork --- rebar.config | 1 + 1 file changed, 1 insertion(+) diff --git a/rebar.config b/rebar.config index 79976aa39..9deb96b20 100644 --- a/rebar.config +++ b/rebar.config @@ -39,6 +39,7 @@ {deps, [ {gpb, "4.11.2"} %% gpb only used to build, but not for release, pin it here to avoid fetching a wrong version due to rebar plugins scattered in all the deps + , {base16, {git, "https://github.com/zmstone/base16", {tag, "1.0.0"}}} , {redbug, "2.0.7"} , {covertool, {git, "https://github.com/zmstone/covertool", {tag, "2.0.4.1"}}} , {ehttpc, {git, "https://github.com/emqx/ehttpc", {tag, "0.4.4"}}}