Hi Jose, > > Hi. Trivial patch adding some missing bits in that comment. > > Ok to commit? > > Yes - this one counts as obvious. > > Am I allowed to commit trivial/obvious patches like this without a > pre-approval, along with a [COMMITTED] email? Yes - that is exactly right. Cheers Nick