#!/bin/bash

CONFIG_VERSION_STRING="12.5.1"
CONFIG_VERSION_MAJOR=12
CONFIG_VERSION_MINOR=5
CONFIG_VERSION_PATCH=1
CONFIG_VERSION_BUILD="9e8753d625"
