Closed gkellogg closed 8 years ago
as it is obsolete and might be confusing to future readers.
Without any objections. Note that the Wiki entry remains.
@gkellogg I'm assuming you're happy for this to be merged by anyone?
Yes, just wanted to be sure no-one thought important history was going missing; I don't think it is.
as it is obsolete and might be confusing to future readers.
Without any objections. Note that the Wiki entry remains.