On Thu, Apr 19, 2018 at 04:19:24AM +0000, Trout, Diane E. wrote:
> retitle 566364 ITA: doc-central -- web-based documentation browser
> owner 566364 !
> thanks
>
> I'd like to go ahead and adopt doc-central, I do use it occasionally
> and it really could stand to be updated to late 2010 coding styles.
Hi,
are you still planning to adopt doc-central? Otherwise I'd file a
removal bug next.
Cheers,
Moritz