kernel.org still showing 5.19.12 at this moment. Guess it will be updated soon :D