MicroSharedPool should be removed

Open kasperosterbye opened this issue 3 years ago • 3 comments

It seems like a left over from a renaming.

Btw, why is its superclass called MicMicrodownSharedPool?? It would seem more natural to be MicParserSharedPool, or MicDelimitersSharedPool

Oct 13 '22 12:10 kasperosterbye

I do not know why I probably simply forgot to remove it. MicroSharedPool was a stupid name.

Oct 22 '22 15:10 Ducasse

Shit happens and then you make PR...

Oct 22 '22 15:10 kasperosterbye

:) Except about case. It took me another OS to be able to rename microDown in microdown :)

Oct 23 '22 19:10 Ducasse