No matches were found for subject:"\[vlc\-commits\] Doxygen\: remove no longer used alias"