debian/4.12-1

Emmanuel Bourg

@ebourg

3bbb5666 · New upstream release (4.12) · Jul 17, 2019

eclipse-platform-text Debian release 4.12-1