Open renato-zannon opened 9 years ago
And maybe rename "discourse" to "internals discourse"?
:+1: The users/internals split is pretty old now.
Fixed in https://github.com/nrc/rustaceans-src/commit/4d699be9f6498e410c58e3962179329bb1d708a5
@nrc shouldn't the user pages be updated for this too?
yes
And maybe rename "discourse" to "internals discourse"?