tree 66cfba2d495f92d6606aab38d98ea9bdcc26baa2
parent eedb58d8d8214faa2c3849b6b085eb94c3da0660
author Ezio Melotti <ezio.melotti@gmail.com> 1376387620 +0300
committer Ezio Melotti <ezio.melotti@gmail.com> 1376387620 +0300
HG:extra source:49edf4cbc4531b9e0006dc70f6cd942cfb1cba81

#18687: remove obsolete comment.  Patch by Févry Thibault.