Public holidays in Gibraltar
The public holidays in Gibraltar are a mix of "bank holidays" and "public holidays" and are often used interchangeably, although strictly and legally there is a difference. Bank holidays are holidays when banks and many other businesses are closed for the day.
Source: Wikipedia — Public holidays in Gibraltar (CC BY-SA 4.0)