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 05938d85e..4b6e5fe97 100644 --- a/.skipped-commit-ids +++ b/.skipped-commit-ids | |||
| @@ -13,6 +13,7 @@ db6375fc302e3bdf07d96430c63c991b2c2bd3ff moduli update | |||
| 13 | 569f08445c27124ec7c7f6c0268d844ec56ac061 Makefile tweaks for !openssl | 13 | 569f08445c27124ec7c7f6c0268d844ec56ac061 Makefile tweaks for !openssl |
| 14 | 58ec755be4e51978ecfee73539090eb68652a987 moduli update | 14 | 58ec755be4e51978ecfee73539090eb68652a987 moduli update |
| 15 | 4bd5551b306df55379afe17d841207990eb773bf Makefile.inc | 15 | 4bd5551b306df55379afe17d841207990eb773bf Makefile.inc |
| 16 | 14806a59353152f843eb349e618abbf6f4dd3ada Makefile.inc | ||
| 16 | 17 | ||
| 17 | Old upstream tree: | 18 | Old upstream tree: |
| 18 | 19 | ||