tree b668f74628abe53f9fe3333de437adefd70c4b3a
parent 9817571cc96d3afa3faf553627ec1874648a6650
author Werner Lemberg <wl@gnu.org> 1538890837 +0200
committer Werner Lemberg <wl@gnu.org> 1538890837 +0200

Minor comment improvement.