/debian/maint-patches/

• ../
• 007_database_update_php.diff
• 010_board_configuration.diff