<div dir="ltr"><div><div>Hi Developers,<br><br></div>Do we increase the patch number when pushing a new patch into maint? If not, how to know if the current maint is different from the one I just got yesterday. I know a commit number is always available. <br><br></div>Fande,<br></div>