Use an URL ending in .git for lextlib
Merge commit '77ecd10a905c23689856c0ef434b1ea27c6789d7'

* commit '77ecd10a905c23689856c0ef434b1ea27c6789d7':
  Use an URL ending in .git for lextlib