Skip to content
Commit 72159953 authored by Bernhard Reutner-Fischer's avatar Bernhard Reutner-Fischer
Browse files

- put back accidentally removed patch that is not needed for 0.5.1 anymore

parent 23ce501c
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment