[SDK] Raise KERNEL_VERSION_PATCH_LEVEL to 13 in the version.cmake

This commit is contained in:
Joachim Henze 2019-04-08 18:25:01 +02:00
parent e0e5363a73
commit 2e8c7cf423

View file

@ -2,7 +2,7 @@ string(TIMESTAMP KERNEL_VERSION_BUILD %Y%m%d UTC)
set(KERNEL_VERSION_MAJOR "0")
set(KERNEL_VERSION_MINOR "4")
set(KERNEL_VERSION_PATCH_LEVEL "12")
set(KERNEL_VERSION_PATCH_LEVEL "13")
set(COPYRIGHT_YEAR "2019")
# KERNEL_VERSION_BUILD_TYPE is "dev" for Git builds