Re: Boot libraries shipping with 9.12.5

(I sanity-checked the versions relative to 9.10.3 and unsurprisingly looks fine.) The only bump so far relative to 9.12.4 is `process` I believe and that is also fine (specially post 9.14.2). Jens