Change test name for bug bukka#23

bukka · bukka · commit 6ed98be3ffa6 · 2016-06-07T20:16:59.000+01:00
diff --git a/tests/bug23.phpt b/tests/bug23.phpt
@@ -1,5 +1,5 @@
 --TEST--
-Test bug 
+Test bug #23: Segmenation fault after fann_destroy
 --FILE--
 <?php
 $num_input = 2;
