of this file. It should be used in place of this GIF file when not inferior. File:Polska SG bandera.gif → File:POL Border Guard flag.svg For more information...
