Skip to content

convert comments to utf8 #67

Open
Open
convert comments to utf8#67

Description

@treinen
treinen
opened on Oct 23, 2021

Hello, some of the comments in *.hva files still have iso8859-1 encoded characters, and could migrate to utf8. This might also be the case for some example files but I didn't look into these yet. Patch here:

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

Activity

  1. maranget commented on Oct 23, 2021

    @maranget
    maranget
    on Oct 23, 2021
    Owner

    Hi @treinen, the patch is the same as the one of issue #66.

  2. treinen commented on Oct 23, 2021

    @treinen
    treinen
    on Oct 23, 2021
    Author

    Bonjour @maranget
    Sorry: https://salsa.debian.org/ocaml-team/hevea/-/blob/master/debian/patches/iso8859-to-utf8

  3. maranget commented on Oct 23, 2021

    @maranget
    maranget
    on Oct 23, 2021
    Owner

    Committed 8d9a139, thanks.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions