From f71177653fe373f3782754a9abd5ce451980e256 Mon Sep 17 00:00:00 2001
From: Paul Steckler
Date: Fri, 1 Sep 2017 11:45:56 -0400
Subject: move mention of native_compute profiling in CHANGES

---
 CHANGES | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/CHANGES b/CHANGES
index 5c380eaad8..4e40122d43 100644
--- a/CHANGES
+++ b/CHANGES
@@ -6,6 +6,13 @@ Notations
 - Recursive notations with the recursive pattern repeating on the
   right (e.g. "( x ; .. ; y ; z )") now supported.
 
+Tactics
+
+- On Linux, "native_compute" calls can be profiled using the "perf"
+  utility. The command "Set NativeCompute Profiling" enables
+  profiling, and "Set NativeCompute Profile Filename" customizes
+  the profile filename.
+
 Changes from 8.6.1 to 8.7+beta
 ==============================
 
@@ -63,10 +70,6 @@ Tactics
   Ltac definition or a Tactic Notation.
 - New option `Set Ltac Batch Debug` on top of `Set Ltac Debug` for
   non-interactive Ltac debug output.
-- On Linux, "native_compute" calls can be profiled using the "perf"
-  utility. The command "Set NativeCompute Profiling" enables
-  profiling, and "Set NativeCompute Profile Filename" customizes
-  the profile filename.
 
 Gallina
 
-- 
cgit v1.2.3