From 768b3f3affbb059b6423e96d306590fc54f16cfd Mon Sep 17 00:00:00 2001
From: Marius Burkard <m.burkard@pixcept.de>
Date: Fri, 17 Jun 2016 12:05:19 -0400
Subject: [PATCH] - interrupt scrolling on user input, fixed #3936

---
 0 files changed, 0 insertions(+), 0 deletions(-)


--
Gitblit v1.9.1