Merge branch 'master' into dev/debug

BaerChain · Sep 19, 2019 · 8776e92 · 8776e92
2 parents 1dd60f7 + aec997a
commit 8776e92
Show file tree

Hide file tree

Showing 5 changed files with 3,267 additions and 3,237 deletions.
diff --git a/brcd/buildinfo.c b/brcd/buildinfo.c
@@ -14,7 +14,7 @@ const struct buildinfo* brcd_get_buildinfo()
 {
     static const struct buildinfo buildinfo = {
         .project_name = "brcd",
-        .project_version = "0.9.4",
+        .project_version = "0.9.4.1",
         .git_commit_hash = GIT_VERSION,
         .system_name = SYSTEM_NAME,
         .system_processor = SYSTEM_PROCESSOR,