Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Port from xml-rs to quick-xml #88

Merged
merged 2 commits into from
Nov 18, 2022
Merged

Port from xml-rs to quick-xml #88

merged 2 commits into from
Nov 18, 2022

Commits on Nov 17, 2022

  1. Port from xml-rs to quick-xml 

    Co-authored-by: max <[email protected]>
    @jcgruenhage @pr2502
    jcgruenhage and pr2502 committed Nov 17, 2022
    Configuration menu
    Copy the full SHA
    147a4f6 View commit details
    Browse the repository at this point in the history

  2. fix typo in feature gate, introduced in ddff8e6

    @jcgruenhage
    jcgruenhage committed Nov 17, 2022
    Configuration menu
    Copy the full SHA
    5fdedbe View commit details
    Browse the repository at this point in the history