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 Thursday, November 28 at noon. The server will be unavailable for about two hours.
If several UEs are removed, the variable ue_to_be_removed may be overwritten. Let's use an array instead.