Bump release from 5.0 to 5.1.

5.1 and 5.0 share the same ABI, so instead of cluttering the list even more, just bump to 5.1 entirely.
2022-07-24 16:43:09 +02:00
parent 64cc9bb50d
commit dfdfc29311
3 changed files with 5 additions and 3 deletions
@@ -0,0 +1,2 @@
+#!/bin/bash
+GIT_BRANCH="release/5.1"