1
0
mirror of https://github.com/emilk/egui.git synced 2026-08-29 04:40:03 -04:00

Release 0.24.1 - Bug fixes

This commit is contained in:
Emil Ernerfeldt
2023-11-30 17:46:25 +01:00
parent 8ccd9b73e2
commit d17613c242
22 changed files with 88 additions and 44 deletions

View File

@@ -190,6 +190,8 @@ def main() -> None:
if not any(label in labels for label in ignore_labels):
unsorted_prs.append(summary)
print()
print(f"Full diff at https://github.com/emilk/egui/compare/{COMMIT_RANGE}")
print()
for crate in crate_names:
if crate in sections: