diff options
| -rw-r--r-- | ports/spirv-tools/CONTROL | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ports/spirv-tools/CONTROL b/ports/spirv-tools/CONTROL index fb75a1280..637fc0387 100644 --- a/ports/spirv-tools/CONTROL +++ b/ports/spirv-tools/CONTROL @@ -1,3 +1,3 @@ Source: spirv-tools
-Version: 2018.1-1
+Version: 2018.1-2
Description: API and commands for processing SPIR-V modules
|