==================== gedit-plugins 3.12.0 ==================== New features and fixes ====================== - Ignore remote files in the git plugin - Misc bugfixes New and updated translations ============================ - hu (Gabor Kelemen)