dump: add --sorted flag#5003

Closed

widlarizer wants to merge 2 commits intomainfrom

emil/dump-sorted

Commits on Apr 8, 2025

dump: add --sorted flag
widlarizer
committed

Commits on Apr 23, 2025

dump: sort lhs and rhs in a connection
widlarizer
committed