* Trivial vs. Non-trivial changes. Encourage people to use the trivial tick-mark if they are making a change like a typo or something. | * Trivial vs. Non-trivial changes. Encourage people to use the trivial tick-mark if they are making a change like a typo or something. |