What does the RIPE NCC do with IPv4 address space that is returned?

All IPv4 address space that is returned to the RIPE NCC goes back into the last /8 pool of IPv4 address space. It will then be re-used to allocate /22s to LIRs according to "IPv4 Address Allocation and Assignment Policies for the RIPE NCC Service Region".