9dc6b1 Merge pull request #2805 from martinvanzijl/issue-2180-pump-tool-tablet-issue

1 file Merged by Rodney 5 years ago , Committed by GitHub 5 years ago ,
    Merge pull request #2805 from martinvanzijl/issue-2180-pump-tool-tablet-issue
    
    Fix for pump tool using Wacom tablet (#2180)