The branch 'silent-fixes' has been safely merged into maint, and hasn't
seen any change in the last couple of months.  And since it had been
conceived from the beginning as a temporary topic branch, I think it's
now safe and proper to remove it.  I've thus proceeded to do so.

Regards,
  Stefano

Reply via email to