Marco Trevisan (Treviño)

@3v1n0 on GitHub. Posts as mail@3v1n0.net.

messages

patches posted

of 1 series merged

threads started

2020

first message, Aug 5, 2020

Aug 6, 2020

since the latest message

Messages per year

The last 24 months

Patch series

Of 1 patch series (re-rolls counted once), 0 landed on master and 1 did not.

not mergedmergetool-lib: use $XDG_CURRENT_DESKTOP to check GNOMEv2, Aug 6, 2020

A series is merged when one of its patches matches a commit on master by the same author, by subject. Versions are linked when they share a patch subject. Patches reworded before landing, or applied under someone else's name, count as not merged.

Recent emails

Aug 6, 2020Re: [PATCH 2/3] mergetool-lib: keep a list of cross desktop merge tools
Aug 6, 2020Re: [PATCH 3/3] mergetool-lib: give kdiff3 prioirty in KDE environments
Aug 6, 2020Re: [PATCH 2/3] mergetool-lib: keep a list of cross desktop merge tools
Aug 6, 2020mergetool-lib: give kdiff3 priority in KDE environments
Aug 6, 2020mergetool-lib: use $XDG_CURRENT_DESKTOP to check GNOME
Aug 6, 2020Re: [PATCH 1/3] mergetool-lib: use $XDG_CURRENT_DESKTOP to check GNOME
Aug 5, 2020mergetool-lib: give kdiff3 prioirty in KDE environments
Aug 5, 2020mergetool-lib: keep a list of cross desktop merge tools
Aug 5, 2020mergetool-lib: use $XDG_CURRENT_DESKTOP to check GNOME