On Tuesday, 30.06.2015 at 01:07, Antti Kantee wrote:
Hi,
After more build system fighting that what I really cared for, the
toolchain rename is available on the toolchain-rename branch of
repo.rumpkernel.org/rumprun. Given the prerequisite general
cleanup, it was actually a fairly small commit:
https://github.com/rumpkernel/rumprun/commit/955a75b8c39c3c65ede025c25661edaa6606ebc7
There shouldn't be anything controversial here, and since a bunch of
docs, patches etc. are depending on the rename, I plan to merge to
master very soon.