Merge remote-tracking branch 'origin/v9-minor'

Author: scip-ci

CHANGELOG

@@ -161,6 +161,7 @@ Build system
 ### Cmake
 
 - Fixed compilation and linking with HiGHS. To use HiGHS, cmake now requires to specify the directory containing the `highs-config.cmake` file via `-DHIGHS_DIR`.
+- Extended identification of Ipopt library on Windows to also look for ipopt.dll.lib, as this is used since Ipopt 3.13.0 (2019)
 
 ### Makefile
 

cmake/Modules/FindIPOPT.cmake

@@ -141,7 +141,7 @@ else()
 
 
   find_library(IPOPT_IPOPT_LIBRARY_RELEASE
-      NAMES libipopt ipopt ipopt-3 ipopt-0 libipopt-3 libipopt-0
+      NAMES libipopt ipopt ipopt.dll ipopt-3 ipopt-0 libipopt-3 libipopt-0
       HINTS ${IPOPT_DIR}/lib)
 
   select_library_configurations(IPOPT_IPOPT)