[riot-devel] Pull Request of the month

Ludwig Ortmann ludwig.ortmann at fu-berlin.de
Mon Jan 6 20:04:13 CET 2014


On Mon, Jan 06, 2014 at 04:08:18PM +0100, Kaspar Schleiser wrote:
> I begin by proposing Ludwig's vtimer fix PR, (following Oleg's hint),
> 
> https://github.com/RIOT-OS/RIOT/pull/374

I know it's bad style to propose one's own PR, but personally I liked
my "fix race condition in hwtimer_spin" PR better...:
https://github.com/RIOT-OS/RIOT/pull/324


Apart from that I just wondered whether a PR needs to have been merged
or if I could propose for example this fantastic PR that failed to
achieve the attention it deserves:
https://github.com/RIOT-OS/RIOT/pull/396

Cheers, Ludwig


More information about the devel mailing list