Ah, yes, of course. Did not even think of that since we were targeting a certain release we are about to install on our production system vs. whatever happens to be the Github master right now.
But, it looks as if the currently recommended update, 2.3.0.beta2 is what you get with the current master, correct?