Thinking about it Donald,
Increase in bore = 0.25 - 0.22 = 0.03
So decrease in wall thickness = 0.03/2 = 0.015"
If you were worried about the 15thou" decrease in the wall thickness you could increase the groove diameter by 30thou" and just reduce the centre of the latch pin by 15thou".
All the best Mick