Bug#15
master
823f009549
No due date set.
No dependencies set.
Deleting a branch is permanent. It CANNOT be undone. Continue?
823f009549into masterReviewers
Pull request successfully merged and closed
Bug#15can now be deleted.