#!/bin/bash

CONFIG_VERSION_STRING="13.0.1"
CONFIG_VERSION_MAJOR=13
CONFIG_VERSION_MINOR=0
CONFIG_VERSION_PATCH=1
CONFIG_VERSION_BUILD="cec617dfbc"
