#!/bin/bash

CONFIG_VERSION_STRING="12.4.0"
CONFIG_VERSION_MAJOR=12
CONFIG_VERSION_MINOR=4
CONFIG_VERSION_PATCH=0
CONFIG_VERSION_BUILD="96c2707737"
