bugfix: fix RRC UE removal
If several UEs are removed, the variable ue_to_be_removed may be overwritten. Let's use an array instead.
Maintenance operation of our GitLab server is scheduled for Wednesday, July 3rd at 2PM. The server will be unavailable for about 2 hours.
If several UEs are removed, the variable ue_to_be_removed may be overwritten. Let's use an array instead.