And that's not all, the number of Gibraltarian frontier workers in employment is 120.

Meanwhile, 'other British' used to be over 2,000, but the latest figure is 4. Could it be that with Brexit in the air, they've all come to Gibraltar in case the frontier closes down?!

And the number of Polish has gone sky high, while Ghanian have gone up from 2 to 104.

By the way, the grand total number of frontier workers is 14, 785.

We hereby publish the full official list, for your enjoyment... in our print edition.

12-06-19 PANORAMAdailyGIBRALTAR