On Friday August 31 2018 00:53:02 Kevin Funk wrote: Hi, > v5.2.4-669-g674b9fedb0 now, that looks good enough? I was thinking you'd use some special patchlevel (5.2.90 or so) but yeah, v5.2.4-XX should work too. > We forgot the merge from 5.2 -> 5.3 -> master after v5.2.4 was tagged. Figured it must have been something like that. Cheers, R.