# Automatically generated email from bts, devscripts version 2.10.25 # priority optional and priority extra should probably be merged in this regard severity 477634 minor