2025-10-30 16:16 CET

View Revisions: Note 14293

Summary 0004733: remove include/* from spring repo