On Wed, 8 Oct 2014 09:05, dkg at fifthhorseman.net said: > Is g13 still something we shouldn't include in the debian packages, or > has it become useful enough to ship? No. Salam-Shalom, Werner -- Die Gedanken sind frei. Ausnahmen regelt ein Bundesgesetz.