Mon, 07 Jun 2021 11:21:26 +0200merge default tip
Edouard Tisserant <edouard.tisserant@gmail.com> [Mon, 07 Jun 2021 11:21:26 +0200] rev 17
merge

Sun, 06 Jun 2021 22:52:40 +0100optimization: normalize buffer when it becomes empty after data purge
mjsousa <msousa@fe.up.pt> [Sun, 06 Jun 2021 22:52:40 +0100] rev 16
optimization: normalize buffer when it becomes empty after data purge