polo

Dear colleagues, I've created a [PR to fix this issue](https://github.com/spring-projects/spring-shell/pull/1087). Could you please approve merging if there are no objections. @jvalkeal

@simonbasle Hello! Could you please check and merge my pr if it makes sense and there are no objections. I tagged you since you are the last one who was...