Hi On Wed, Sep 12, 2018 at 10:37:04AM -0500, Stephen Gelman wrote:
On Fri, Aug 17, 2018 at 11:02 PM gustavo panizzo <g...@zumbi.com.ar> wrote:I'll wait to see if upstream merges it otherwise I'll just ship it.Looks like the upstream PR was merged, FYI
I'm aware, thanks. I didn't have time to work in this package lately
Stephen
-- IRC: gfa GPG: 0X44BB1BA79F6C6333
