diff options
| -rw-r--r-- | .skipped-commit-ids | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.skipped-commit-ids b/.skipped-commit-ids index ef5bad544..611d1093d 100644 --- a/.skipped-commit-ids +++ b/.skipped-commit-ids | |||
| @@ -18,6 +18,7 @@ db6375fc302e3bdf07d96430c63c991b2c2bd3ff moduli update | |||
| 18 | d9b910e412d139141b072a905e66714870c38ac0 Makefile.inc | 18 | d9b910e412d139141b072a905e66714870c38ac0 Makefile.inc |
| 19 | 7b7b619c1452a459310b0cf4391c5757c6bdbc0f moduli update | 19 | 7b7b619c1452a459310b0cf4391c5757c6bdbc0f moduli update |
| 20 | 5010ff08f7ad92082e87dde098b20f5c24921a8f moduli regen script update | 20 | 5010ff08f7ad92082e87dde098b20f5c24921a8f moduli regen script update |
| 21 | 3bcae7a754db3fc5ad3cab63dd46774edb35b8ae moduli regen script update | ||
| 21 | 22 | ||
| 22 | Old upstream tree: | 23 | Old upstream tree: |
| 23 | 24 | ||