Re: renaming rumprun-posix

[BCG]

On 04/27/2015 03:32 AM, Antti Kantee wrote:

Hence, my proposal of "rumpctrl".

Thoughts?

If you need a tiebreaker I think rumpctrl makes sense.