Skip to content

Commit 72c02e1

Browse files
committedDec 21, 2023
Merge remote-tracking branch 'origin/develop' into erikj/better_push_badge_perf
2 parents 3946ea6 + 8a50312 commit 72c02e1

File tree

7 files changed

+3
-0
lines changed

7 files changed

+3
-0
lines changed
 

‎changelog.d/16757.misc

+1
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
Move the rust stubs inline for better IDE integration.

‎changelog.d/16758.misc

+1
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
Fix sample config doc CI.

‎docs/.sample_config_header.yaml

+1
Original file line numberDiff line numberDiff line change
@@ -9,3 +9,4 @@
99
# https://element-hq.github.io/synapse/latest/setup/installation.html.
1010
#
1111
################################################################################
12+

‎stubs/synapse/__init__.pyi

Whitespace-only changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.

0 commit comments

Comments
 (0)