Skip to content

Format GPS times with more precision.

John Douglas Veitch requested to merge john-veitch/lalsuite:format_time_precision into master

Description

Convert GPS times to strings with more precision to avoid rounding in python2. Fixes #298 (closed)

API Changes and Justification

Backwards Compatible Changes

  • This change introduces no API changes
  • This change adds new API calls

Backwards Incompatible Changes

  • This change modifies an existing API
  • This change removes an existing API

If any of the Backwards Incompatible check boxes are ticked please provide a justification why this change is necessary and why it needs to be done in a backwards incompatible way.

Merge request reports