#!/bin/bash

CONFIG_VERSION_STRING="12.13.0"
CONFIG_VERSION_MAJOR=12
CONFIG_VERSION_MINOR=13
CONFIG_VERSION_PATCH=0
CONFIG_VERSION_BUILD="b9b5d9afbf"
