Re: RFC: merging britney's Heidi output into sets/

[Adam D. Barratt]

On Sat, 2017-06-17 at 19:23 +0000, Niels Thykier wrote:
> Adam D. Barratt:
> > If no-one comes up with any issues, I'll probably look at applying this
> > within the next day or so.
[...]
> Thanks :)

For the record, this is now live.

Regards,

Adam