-
Pino Toscano authored
It was sort of required already in previous commits, so remove a code branch that is not needed anymore. Followup of commit 1fdeff25.
2f3ffbd3
It was sort of required already in previous commits, so remove a code branch that is not needed anymore. Followup of commit 1fdeff25.