bjorn/mana — comment on commit 430c31277010634a5133387d747317923c2c2979
File: src/gui/widgets/tabbedarea.cpp line 92
By Ablu:

I saw that NULL got replaced by 0 in a lot of places. What is actually better/cleaner?