dev.sh: pin to v3.5 for now
We can generalise this again when 3.6 comes out...
This commit is contained in:
parent
635c77d4ed
commit
0ebcd21eb1
We can generalise this again when 3.6 comes out...