No matches were found for subject:"\[vincent@vinc17.org\: Bug#171434\: splint\: Useless warning \"Function parameter declared as manifest array\"\]"