Hi so in my part, one side is suppose to be extruded 10mm, and another 7mm. However, I accidently extruded the whole thing 10mm and now i don't know how edit the second half to a 7mm extrusion

Thanks for your help