Re: [PATCH 1/2] Rename lib/ to gl/

poke-devel

    Both commits have been pushed to master.

Thanks!

Current Thread

[Next in Thread]

[PATCH 1/2] Rename lib/ to gl/, Tim Rühsen, 2020/03/26
- [PATCH 2/2] Rename gl/libpoke.la to gl/libgnu.la, Tim Rühsen, 2020/03/26
  - Re: [PATCH 2/2] Rename gl/libpoke.la to gl/libgnu.la, Jose E. Marchesi, 2020/03/26
- Re: [PATCH 1/2] Rename lib/ to gl/, Jose E. Marchesi, 2020/03/26
  - Re: [PATCH 1/2] Rename lib/ to gl/, Tim Rühsen, 2020/03/27
    - Re: [PATCH 1/2] Rename lib/ to gl/, Jose E. Marchesi <=