Closed gnott closed 4 years ago
@gnott can this be merged or closed?
The kitchen sink XML had been updated since, I'm sure, so there's no use patching a five year old XML. Closing!
@gnott can this be merged or closed?