Talk:Operation Gideon

Move request
While this subject has been more time around it is not that well known. I propose it to be moved to Operation Gideon (1948), as now Operation Gideon (2020) and El Junquito raid (Operation Gideon) exist. We can make a disambiguation page of the current title.--ReyHahn (talk) 08:49, 3 June 2020 (UTC)