Improve shrinking of Command sequences and allow customization#632
Open
jonaskoelker wants to merge 2 commits into
Open
Improve shrinking of Command sequences and allow customization#632jonaskoelker wants to merge 2 commits into
jonaskoelker wants to merge 2 commits into
