tree 39b9879d172c3fd25b09b8b100cf05d29aecf264
parent 560a77881b8e50ddc272d4c8e680771cdf03160c
author Ezio Melotti <ezio.melotti@gmail.com> 1379105532 +0300
committer Ezio Melotti <ezio.melotti@gmail.com> 1379105532 +0300
HG:extra source:b90ba60c5029de6c800d34e4d2d6d60f1f87e692

#18981: fix a typo in a comment (noticed by Anoop Thomas Mathew).