PR final approval https://github.com/theia-ide/theia/pull/3804December 18, 2018 at 8:24am
December 18, 2018 at 8:28am
I would prefer if I don't need to look into it before Christmas as I have so many other things on my list. Would it be ok to clarify this in the beginning of January?
Did you mean this one?
December 19, 2018 at 6:57am
Yes, the second comment about the implicit dependency `debug -> plug-in` it is. The debug extension should not have anything specific for the plug-in system.
December 22, 2018 at 10:24am
December 26, 2018 at 8:12am
January 2, 2019 at 10:56am