diff options
author | Richard van der Hoff <1389908+richvdh@users.noreply.github.com> | 2021-07-14 14:41:40 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-14 14:41:40 +0100 |
commit | c82eb02d6423a51852115bbda647fe12e86af673 (patch) | |
tree | 7aee4cdab02e37837407e9041f5d2694c3c175ea | |
parent | Make GHA config more efficient (#10383) (diff) | |
download | synapse-c82eb02d6423a51852115bbda647fe12e86af673.tar.xz |
Set section for prerelease debs (#10391)
This is part of fixing #6116: we want to put RC debs into a different place than release debs, so reprepro has to be able to tell them apart.
-rw-r--r-- | changelog.d/10391.misc | 1 | ||||
-rw-r--r-- | docker/build_debian.sh | 14 |
2 files changed, 15 insertions, 0 deletions
diff --git a/changelog.d/10391.misc b/changelog.d/10391.misc new file mode 100644 |