Skip to content

Changes

#267 (Jan 5, 2024, 2:12:28 AM)

  1. [3] Reduce Guava usage — Pierre-Charles David / githubweb

#266 (Dec 14, 2023, 2:12:18 AM)

  1. [5] Move to EPL 2.0 — Pierre-Charles David / githubweb
  2. [7] Do not display 'External' decorator on edges — Pierre-Charles David / githubweb
  3. [cleanup] Fix most compilation warnings — Pierre-Charles David / githubweb

#265 (Sep 17, 2023, 2:12:19 AM)

  1. [cleanup] Delete empty service classes — Pierre-Charles David / githubweb

#264 (Sep 16, 2023, 2:12:27 AM)

  1. [releng] Bump version to 3.5.1 — Pierre-Charles David / githubweb
  2. [releng] Fix/update 2023-09 — Pierre-Charles David / githubweb

#263 (Aug 29, 2023, 8:30:49 AM)

  1. [releng] Add target platforms for 2023-06 and 2023-09 — Pierre-Charles David / githubweb