I just checked it with doxygen 1.8.3.1. It works fine.