#!/bin/bash

CONFIG_VERSION_STRING="13.1.0"
CONFIG_VERSION_MAJOR=13
CONFIG_VERSION_MINOR=1
CONFIG_VERSION_PATCH=0
CONFIG_VERSION_BUILD="2b5c0de5e9"
