4 ms·
The last time Mike Paul pushed anything is almost a year ago until two weeks ago based on the two RSS feeds I use. The Git commit dates could be unreliable from
by fsfod 7y ago
The last time Mike Paul pushed anything is almost a year ago until two weeks ago based on the two RSS feeds I use. The Git commit dates could be unreliable from either cherry-pick shenanigans or him just not bothering to push the changes until two weeks ago.
- acqq 7y agoMaybe compare your feeds with: https://github.com/LuaJIT/LuaJIT/commits/v2.1 https://github.com/LuaJIT/LuaJIT/commits/v2.1 I see quite regular commits there?