{"shas":[["507aa361e9fd04f46a9c4ee75f85727af6e23a72","54669547a225ff20cba8b75a4adca540eef25858@mailbeschleuniger.de","Fix: Do not switch layer, if user jumps to a gate or a gate port.","Martin Schobert"],["098bf2e4015a96c4ff629341f243179949174438","54669547a225ff20cba8b75a4adca540eef25858@mailbeschleuniger.de","Added a statistic of violations to the DRC violation dialog.","Martin Schobert"]],"repo":"nitram2342/degate","actor":"nitram2342","ref":"refs/heads/master","size":2,"head":"098bf2e4015a96c4ff629341f243179949174438","push_id":22591368}