Re: renaming rumprun-posix

[Antti Kantee]

On 29/04/15 02:43, BCG wrote:

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.

Ok, rumpctrl it is.

thanks