On Thu, Aug 03, 2017 at 01:36:40PM +0200, Kornel Benko wrote: > Am Donnerstag, 3. August 2017 um 13:08:04, schrieb Enrico Forestieri > <[email protected]> > > commit f11bfe1697492f79f8cc02d4021305005cf539ef > > Author: Enrico Forestieri <[email protected]> > > Date: Thu Aug 3 13:07:41 2017 +0200 > > > > The shell escape patch > > > > Probably forgotten emblem-shellescape.svgz?
Yes, thanks for the reminder. -- Enrico
