Rafael Sadowski <raf...@sizeofvoid.org> writes: > On Thu Mar 02, 2017 at 11:12:31PM +0000, Stuart Henderson wrote: >> On 2017/03/02 23:52, Rafael Sadowski wrote: >> > >> > *ping* >> >> Symbols were removed so it needs to be a major bump. >>
It looks like those symbols weren't public (a diff of the installed include files doesn't show them). But better keep the major bump anyway. This update has just been committed, thanks. -- jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF DDCC 0DFA 74AE 1524 E7EE