[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[paparazzi-commits] [paparazzi/paparazzi] 5a43be: [gps_ubx] cast 1234 to
|
From: |
GitHub |
|
Subject: |
[paparazzi-commits] [paparazzi/paparazzi] 5a43be: [gps_ubx] cast 1234 to correct type instead of 134... |
|
Date: |
Tue, 11 Oct 2016 02:05:36 -0700 |
Branch: refs/heads/master
Home: https://github.com/paparazzi/paparazzi
Commit: 5a43be611ced737770533cc49915784cd8af5f55
https://github.com/paparazzi/paparazzi/commit/5a43be611ced737770533cc49915784cd8af5f55
Author: Christophe De Wagter <address@hidden>
Date: 2016-10-11 (Tue, 11 Oct 2016)
Changed paths:
M sw/tools/generators/gen_ubx.ml
Log Message:
-----------
[gps_ubx] cast 1234 to correct type instead of 134 (#1894)
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [paparazzi-commits] [paparazzi/paparazzi] 5a43be: [gps_ubx] cast 1234 to correct type instead of 134...,
GitHub <=