Code

Make FilteredLog thread-safe#744

Code

Merged

uhafner merged 3 commits intomainuhafner/codingstyle:mainfrom filtered-log-thread-safeuhafner/codingstyle:filtered-log-thread-safeCopy head branch name to clipboardApr 15, 2023

+161-51

Commits

Commits on Apr 14, 2023

• Make FilteredLog thread-safe.

  uhafner

  committed
  5f22f7f

• Return an array list on all paths.

  uhafner

  committed
  e383502

Commits on Apr 15, 2023

• Remove duplication.

  uhafner

  committed
  7f89fb5