Merge pull request #8141 from annando/brief2
authorPhilipp <admin+Github@philipp.info>
Sun, 19 Jan 2020 21:02:08 +0000 (22:02 +0100)
committerGitHub <noreply@github.com>
Sun, 19 Jan 2020 21:02:08 +0000 (22:02 +0100)
commit9082d844c0b43f002740fb60276087f405369452
treeacc523fef77cd3fbe1c90b4f3fdadd8323dbd07c
parentab8997f9db910ba70c592bf106a7f5fc41a55b2d
parentdcbd44ab883d68872b939182b3070a47afa58f40
Merge pull request #8141 from annando/brief2

Removed the rest of the @brief fields