From 5351e78fae70ad79fc87da53a694da4aebc560b0 Mon Sep 17 00:00:00 2001
From: irfan sharif <irfanmahmoudsharif@gmail.com>
Date: Thu, 10 Feb 2022 20:15:55 -0500
Subject: [PATCH] dev: bump release version

Pick up changes in preceding commits.

Release note: None
---
 dev | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dev b/dev
index 22d405c44d3b..7af00dcc1b63 100755
--- a/dev
+++ b/dev
@@ -3,7 +3,7 @@
 set -euo pipefail
 
 # Bump this counter to force rebuilding `dev` on all machines.
-DEV_VERSION=15
+DEV_VERSION=16
 
 THIS_DIR=$(cd "$(dirname "$0")" && pwd)
 BINARY_DIR=$THIS_DIR/bin/dev-versions