debian/4.23-1

Emmanuel Bourg

@ebourg

79c8a319 · New upstream release (4.23) · Dec 08, 2022

eclipse-platform-resources Debian release 4.23-1