fixes bit size extension rules

This commit is contained in:
2023-03-26 14:44:42 +02:00
parent 0bdda6182b
commit 4bd81ca676
2 changed files with 2 additions and 2 deletions