diff --git a/0000-Increase-adts_test-s-timeout-for-testing-on-slow-arc.patch b/0000-Increase-adts_test-s-timeout-for-testing-on-slow-arc.patch
deleted file mode 100644
index 90c40c3..0000000
--- a/0000-Increase-adts_test-s-timeout-for-testing-on-slow-arc.patch
+++ /dev/null
@@ -1,29 +0,0 @@
-From 47282ca6eb94ebea206e65f185071a4d7b427d99 Mon Sep 17 00:00:00 2001
-From: Kostis Sagonas <kostis@it.uu.se>
-Date: Wed, 22 Feb 2017 22:46:01 +0100
-Subject: [PATCH] Increase adts_test's timeout for testing on slow arches
-
----
- test/proper_tests.erl | 4 ++--
- 1 file changed, 2 insertions(+), 2 deletions(-)
-
-diff --git a/test/proper_tests.erl b/test/proper_tests.erl
-index aacad4c..8e539b5 100644
---- a/test/proper_tests.erl
-+++ b/test/proper_tests.erl
-@@ -1107,10 +1107,10 @@ setup_test_() ->
- -endif.
- 
- adts_test_() ->
--    [{timeout, 20,	% for Kostis' old laptop
-+    [{timeout, 42,	% for Kostis' old laptop
-       ?_passes(?FORALL({X,S},{integer(),?SET()},
- 		       sets:is_element(X,sets:add_element(X,S))), [20])},
--     {timeout, 40,	% for 18.x (and onwards?)
-+     {timeout, 84,	% for 18.x (and onwards?) on slow machines
-       ?_passes(?FORALL({X,Y,D},
- 		       {integer(),float(),?DICT(integer(),float())},
- 		       dict:fetch(X,dict:store(X,Y,eval(D))) =:= Y), [30])},
--- 
-2.11.1
-
diff --git a/erlang-proper.spec b/erlang-proper.spec
index b776bc4..c5c8772 100644
--- a/erlang-proper.spec
+++ b/erlang-proper.spec
@@ -6,7 +6,7 @@
 
 Name:       erlang-%{realname}
 Version:    1.2
-Release:    4%{?dist}
+Release:    3%{?dist}
 
 License:    GPLv3+
 Summary:    A QuickCheck-inspired property-based testing tool for Erlang
@@ -15,8 +15,6 @@ URL:        https://github.com/%{upstream}/%{realname}
 VCS:        scm:git:https://github.com/%{upstream}/%{realname}.git
 %endif
 Source0:    https://github.com/%{upstream}/%{realname}/archive/v%{version}/%{realname}-%{version}.tar.gz
-# https://github.com/manopapad/proper/issues/139
-Patch0:     0000-Increase-adts_test-s-timeout-for-testing-on-slow-arc.patch
 
 BuildRequires: erlang-rebar
 
@@ -27,9 +25,7 @@ open-source property-based testing tool for Erlang.
 
 
 %prep
-%setup -q -n %{realname}-%{version}
-
-%patch0 -p1
+%autosetup -n %{realname}-%{version}
 
 
 %build
@@ -42,7 +38,11 @@ open-source property-based testing tool for Erlang.
 
 
 %check
+%ifarch aarch64 armv7hl
+# This test times out on slower arches, so we'll just sed it out so it doesn't run.
+# https://github.com/manopapad/proper/issues/139
 sed -i "s/adts_test_/adts_dontrun_/" test/proper_tests.erl
+%endif
 
 %{erlang_test}
 
@@ -56,9 +56,6 @@ sed -i "s/adts_test_/adts_dontrun_/" test/proper_tests.erl
 
 
 %changelog
-* Wed Feb 22 2017 Randy Barlow <bowlofeggs@fedoraproject.org> - 1.2-4
-- Patch a test so that it will pass for slow arches.
-
 * Sun Feb 19 2017 Randy Barlow <bowlofeggs@fedoraproject.org> - 1.2-3
 - Skip a test on slow arches, as it is too slow and times out (#1423535).
 - Replace some tabs with spaces.