Ticket #4845 : on déclare la branche correspondante dans la liste des plugins-dist de cette distribution.