mirror of
https://gitee.com/openharmony/third_party_rust_nom
synced 2025-02-17 06:07:59 +00:00
![Wolf Thomsen](/assets/img/avatar_default.png)
* Remove duplicated section from error_management.md The section explaining the three different error types was duplicated (with minimal changes between the two sections). This (small) PR removes the redundancy. * Update doc/error_management.md Co-authored-by: Geoffroy Couprie <geo.couprie@gmail.com>