Katrin Leinweber 8a3cc41acb Reset history-panel to 4a8d8afb ... The changes in abe4137a do not translate here. Maybe because history-panel-filter is loaded in the background in the "Undo / Redo" tab?		2019-08-31 06:59:43 +02:00
..
core	Reset history-panel to 4a8d8afb	2019-08-31 06:59:43 +02:00