Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge #1563: doc: Add convention for defaults
1668564 doc: Add convention for defaults (Tim Ruffing) Pull request description: ACKs for top commit: hebasto: ACK 1668564 jonasnick: ACK 1668564 Tree-SHA512: cb359e20f1944b4095512413df4d55ccd89e1838da8e006cea4e523e6d1d5008afbab4e0d87b05a6e6ad991d1a0003066fc205d15443c8f1eb2b02e13196155a
- Loading branch information