hevea icon indicating copy to clipboard operation
hevea copied to clipboard

Published 20 hours ago • verified publisher icon maranget

typos in the code

Open treinen opened this issue 3 years ago • 1 comments

Hello, a number of typos which do not affect the functionality. Patch here:

https://salsa.debian.org/ocaml-team/hevea/-/blob/master/debian/patches/typos

treinen avatar Oct 23 '21 08:10 treinen

Hi @treinen, Your patch has been committed https://github.com/maranget/hevea/commit/ff2c86d99ea19c469f560bf8cc0e97fdf77e9d5e. Thank you.

maranget avatar Oct 23 '21 08:10 maranget