#!/bin/bash

CONFIG_VERSION_STRING="12.5.0"
CONFIG_VERSION_MAJOR=12
CONFIG_VERSION_MINOR=5
CONFIG_VERSION_PATCH=0
CONFIG_VERSION_BUILD="34f182c62a"
