[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[paparazzi-commits] [paparazzi/pprzlink] 6efd54: a binding flag is also
|
From: |
GitHub |
|
Subject: |
[paparazzi-commits] [paparazzi/pprzlink] 6efd54: a binding flag is also needed to prevent unbinding... |
|
Date: |
Thu, 04 Feb 2016 06:39:31 -0800 |
Branch: refs/heads/master
Home: https://github.com/paparazzi/pprzlink
Commit: 6efd540406cb5a2fdc6b27cc5befaa43bf54a4e6
https://github.com/paparazzi/pprzlink/commit/6efd540406cb5a2fdc6b27cc5befaa43bf54a4e6
Author: Gautier Hattenberger <address@hidden>
Date: 2016-02-04 (Thu, 04 Feb 2016)
Changed paths:
M lib/v1.0/ocaml/pprzLink.ml
M lib/v1.0/ocaml/pprzLink.mli
Log Message:
-----------
a binding flag is also needed to prevent unbinding twice (and avoid segfault)
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- [paparazzi-commits] [paparazzi/pprzlink] 6efd54: a binding flag is also needed to prevent unbinding...,
GitHub <=