square away the stuff that hasn't been merged in a manual review
This fixes up f2fb48c3 (a manual merge) that has abandoned some things
from PR #2407.
Description
Description
Details
Details
- Committed
Krystian Kuzniarek <krystian.kuzniarek@gmail.com> Sep 16 2019, 19:22 - Pushed
• trottet Dec 4 2019, 13:52 - Parents
- R9484:7c2bd3af981e: square away the stuff that hasn't been merged in a manual review
- Branches
- Unknown
- Tags