Wilhelm Kirschbaum <wkirschbaum@gmail.com> writes:
> Thanks, I have one or two more change related to this issue coming.
Any updates here?
This patch is the last of the fontification patches for now. Once these are installed I think we can close this. I will work on some indentation changes later, but don't think they need to be part of this issue.
Wilhelm