wok diff pulseaudio-dev/receipt @ rev 25017

updated openjpeg, openjpeg-dev and openjpeg-tools (1.5.0 -> 1.5.2)
author: Hans-G?nter Theisgen
date: Wed May 18 06:55:41 2022 +0100 (2022-05-18)
parents: 8497f0e1eea5
     1.1 --- a/pulseaudio-dev/receipt	Fri Apr 03 13:36:20 2020 +0100
     1.2 +++ b/pulseaudio-dev/receipt	Wed May 18 06:55:41 2022 +0100
     1.3 @@ -16,3 +16,4 @@
     1.4  {
     1.5  	cook_copy_files *.h *.la *.pc *.cmake
     1.6  }
     1.7 +