mark integer min/max as high priority since vector reduce min/max is common.

[libreriscv.git] / index.mdwn

diff --git a/index.mdwn b/index.mdwn
index 459d8f6d249aab7bc0c9c4abaa6171b5644d3bc2..a6770c4fb1af870f3910c3e01524db99c19cb22a 100644 (file)
--- a/index.mdwn
+++ b/index.mdwn
@@ -56,7 +56,7 @@ Kuwait.
 # Our sponsors and partners
 
 * [NLnet](https://nlnet.nl) who have very kindly sponsored us with
-  over EUR 350,000 in various separate grants.
+  over EUR 550,000 in various separate grants.
 * [NGI POINTER](https://www.ngi.eu/ngi-projects/ngi-pointer/) who have
   sponsored us with a EUR 200,000 Horizon 2020 Grant.
 * [Mythic Beasts](http://mythic-beasts.com) who don't overcommit on