#!/bin/bash

CONFIG_VERSION_STRING="13.0.0"
CONFIG_VERSION_MAJOR=13
CONFIG_VERSION_MINOR=0
CONFIG_VERSION_PATCH=0
CONFIG_VERSION_BUILD="f5291a8df1"
