paparazzi-commits
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[paparazzi-commits] [paparazzi/paparazzi] 8b6ae4: [gps_ubx] cast 1234 to


From: GitHub
Subject: [paparazzi-commits] [paparazzi/paparazzi] 8b6ae4: [gps_ubx] cast 1234 to correct type instead of 134
Date: Mon, 10 Oct 2016 02:12:29 -0700

  Branch: refs/heads/gps_ubx_include_fix
  Home:   https://github.com/paparazzi/paparazzi
  Commit: 8b6ae4de183cd4ee8e9ad6ca2163b9ff7448b8b6
      
https://github.com/paparazzi/paparazzi/commit/8b6ae4de183cd4ee8e9ad6ca2163b9ff7448b8b6
  Author: Christophe De Wagter <address@hidden>
  Date:   2016-10-16 (Sun, 16 Oct 2016)

  Changed paths:
    M sw/tools/generators/gen_ubx.ml

  Log Message:
  -----------
  [gps_ubx] cast 1234 to correct type instead of 134



reply via email to

[Prev in Thread] Current Thread [Next in Thread]