dfdfc29311
5.1 and 5.0 share the same ABI, so instead of cluttering the list even more, just bump to 5.1 entirely.
2 lines
37 B
Bash
2 lines
37 B
Bash
#!/bin/bash
|
|
GIT_BRANCH="release/5.1"
|