Manuel Boni
Posts as ziosombrero@gmail.com.
3
messages
2
patches posted
100%
of 1 series merged
2
threads started
2022
first message, Jun 28, 2022
Jul 16, 2022
since the latest message
Patch series
Of 1 patch series (re-rolls counted once), 1 landed on master and 0 did not.
- mergedconfig.txt: add completion for include, includeIfv2, Jul 16, 2022, 07aed58017
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.