Code

remove an instance of boost::any#453

Code

Draft

sjunges wants to merge 2 commits intomoves-rwth:mastermoves-rwth/storm:masterfrom sjunges:anywithstdsjunges/storm:anywithstdCopy head branch name to clipboard

+32-32

Commits

Commits on Dec 3, 2023

• remove an instance of boost::any

  sjunges

  committed
  95924a9

  Copy full SHA for 95924a9

Commits on Dec 4, 2023

• Merge branch 'master' into anywithstd

  sjunges

  committed
  b6a024b

  Copy full SHA for b6a024b