Re: INFO_CONFIG and info.js customization

[Gavin Smith]

On Sun, Nov 08, 2020 at 10:27:15AM -0800, Per Bothner wrote:
> See attachment.

Thanks, I've committed it in your name.

2e213d123